- fprintf(OUT, RL_CODE, key,key);
+ fprintf(OUT, "#include <stdio.h>\n" \
+ "#include <signal.h>\n" \
+ "#include <gras.h>\n" \
+ "\n" \
+ "extern const char *_gras_procname;\n" \
+ "/* user code */\n" \
+ "int %s(int argc, char *argv[]);\n" \
+ "\n" \
+ "int main(int argc, char *argv[]){\n" \
+ " int errcode;\n" \
+ "\n" \
+ " _gras_procname = \"%s\";\n" \
+ " errcode=%s(argc,argv);\n"\
+ " \n" \
+ " return errcode;\n"\
+ "}\n",
+ key,key,key);