!7 p-exp { L tok = javaTok("Pair p;"); tok_typeAA(tok, lithashset("Pair")); print(join(tok)); }