Function write_u64 

pub fn write_u64<T>(stream: &mut dyn Write, value: T) -> EncodingResult<usize>
where
    T: Into<u64>,

Writes an unsigned 64-bit value to the stream