antlr PHP runtime