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