JAVACC test