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