KRB5_LIBOPT_SYNC_KDCTIME
if (!(context->library_options & KRB5_LIBOPT_SYNC_KDCTIME) ||
if (context->library_options & KRB5_LIBOPT_SYNC_KDCTIME) {
ctx->library_options = tmp ? KRB5_LIBOPT_SYNC_KDCTIME : 0;