antlr just works