pub fn uint64_to_writer<W: Write>(w: &mut W, val: u64) -> Result<()>
Writes a uint64 to a writer (big-endian).