pub fn u32_to_bytes(x: u32) -> [u8; 4]