pub fn le_bytes_from_words_64(words: &[u32; 16]) -> [u8; 64]