pub fn u32_to_be_bytes(value: u32) -> [u8; 4]
Convert a u32 from native byte order to big-endian bytes