pub fn read_u64(input: &[u8]) -> Result<(&[u8], u64), IncompleteError>