krb5_gss_verify_mic
return(krb5_gss_verify_mic(minor_status, context_handle,
OM_uint32 krb5_gss_verify_mic