f.makeAppl(f.makeConstructor("states", 1), f.makeList()),
f.makeAppl(f.makeConstructor("priorities", 1),
f.makeList(f.makeAppl(f.makeConstructor("arg-gtr-prio", 3),
f.makeInt(257), f.makeInt(1), f.makeInt(257))))); // XXX
ParseTable pt = null;
try {
pt = new ParseTable(tbl, f);
} catch (InvalidParseTableException e) {
throw new RuntimeException(e);
}
Tokenizer tokenizer = new Tokenizer(" ", " ", new KeywordRecognizer(pt) {});