KABADTICKET       744 source4/heimdal/kdc/kaserver.c 	    make_error_reply (hdr, KABADTICKET, reply);
KABADTICKET       753 source4/heimdal/kdc/kaserver.c 	    make_error_reply (hdr, KABADTICKET, reply);
KABADTICKET       764 source4/heimdal/kdc/kaserver.c 	    make_error_reply (hdr, KABADTICKET, reply);