asn1_encode_kerberos_time_at
DEFFNXTYPE(kerberos_time, krb5_timestamp, asn1_encode_kerberos_time_at);
return asn1_encode_kerberos_time_at(buf,&val,retlen);