Symbol: __wrap_krb5_timeofday