pub fn verify_scalar_array( buf: &[u8], field_pos: usize, elem_size: usize, ) -> Result<(), VerifyError>