/* paje currently (May 2016) uses "Filename" and "Linenumber" as reserved words. We cannot use them... */
tracing_file << "% Fname string" << std::endl;
tracing_file << "% Lnumber int" << std::endl;
/* paje currently (May 2016) uses "Filename" and "Linenumber" as reserved words. We cannot use them... */
tracing_file << "% Fname string" << std::endl;
tracing_file << "% Lnumber int" << std::endl;