Function verify_prot 

fn verify_prot<'tcx>(
    this: &mut MiriInterpCx<'tcx>,
    prot: i32,
) -> InterpResult<'tcx>