pub fn verify_vtable_field( buf: &[u8], v_pos: usize, vtable_size: usize, t_pos: usize, object_size: usize, field_idx: usize, field_size: usize, ) -> Result<Option<usize>, VerifyError>