/home/raeburn/k5/krb5/src/lib/des425/unix_time.c|unix_time_gmt_unixsec|21||0|34c5484edc0e0f404417effa0b95a210
/home/raeburn/k5/krb5/src/lib/des425/unix_time.c|unix_time_gmt_unixsec|0|gettimeofday|0|
