Symbol: krb5_gss_context_time