Kerberos grammar files for Synalyze It