Token new5(int line, int pos) { return new TGiven(line, pos); }
Token new6(int line, int pos) { return new TWhen(line, pos); }
Token new7(int line, int pos) { return new TThen(line, pos); }
Token new8(int line, int pos) { return new TSpace(line, pos); }
Token new9(String text, int line, int pos) { return new TWord(text, line, pos); }
Token new10(String text, int line, int pos) { return new TEndl(text, line, pos); }