pub fn write_u64_be(target: &mut impl Write, message: u64) -> Result<usize>