fn write_u64(output: &mut [u8], value: u64)