Function int_to_bytes_be 

pub fn int_to_bytes_be(value: u64, length: usize) -> Vec<u8> 

Convert an integer to big-endian bytes.