pub fn u32s_to_le_bytes(state: &[u32; 16]) -> [u8; 64]