pub fn le_bytes_from_words_32(words: &[u32; 8]) -> [u8; 32]