KRB5_RC_FSYNCLESS_FAST_SKEW
rep->ctime < (boot_time + KRB5_RC_FSYNCLESS_FAST_SKEW))
else if (boot_time <= 1 || rep->ctime > (now + KRB5_RC_FSYNCLESS_FAST_SKEW))