antlr snippet