pub fn put_u64(v: u64, bytes: &mut [u8])