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