- fprintf(tracing_file, "%% Filename string\n");
- fprintf(tracing_file, "%% Linenumber int\n");
+ /**
+ * paje currently (May 2016) uses "Filename" and "Linenumber" as
+ * reserved words. We cannot use them...
+ */
+ fprintf(tracing_file, "%% Fname string\n");
+ fprintf(tracing_file, "%% Lnumber int\n");