pub fn u64_to_be_bytes(value: u64) -> [u8; 8]
Convert a u64 from native byte order to big-endian bytes