testing on server for antlr