convert c to javascript using antlrworks