kerberos5_printsub
kerberos5_printsub },
void kerberos5_printsub(unsigned char *, int, unsigned char *, int);