krb5_set_debugging_time
krb5_error_code krb5_set_debugging_time(krb5_context, krb5_timestamp,
check(krb5_set_debugging_time(ctx, 1234, 5678) == 0);
ret = krb5_set_debugging_time(context, 1000, 0);
ret = krb5_set_debugging_time(context, BOUNDARY - 100, 0);
ret = krb5_set_debugging_time(context, BOUNDARY + 100, 0);
krb5_set_debugging_time(context, i * 200, 0);
(void)krb5_set_debugging_time(ctx, timestamp, 0);