pub fn u64_to_bytes(input: u64) -> [u8; 8]