pub fn u64_array_to_be_bytes(integers: [u64; 4]) -> [u8; 32]
Returns the bytes that represent the integers in big-endian.
integers