pub fn read_u64(buf: &[u8], pos: usize) -> Result<u64>