TOKEN_LINE
TOKEN_LINE(&infile[ilevel]), msg, copy_toeval);
TOKEN_LINE(&infile[ilevel]), infile[ilevel].name);
pbunsigned(TOKEN_LINE(f));
fprintf(traceout, "%lu:", TOKEN_LINE(inp));