outline++;
if(!for_cpp)
fprintf(fp,"#line %d \"%s.c\"\n",outline,filebase);
else
fprintf(fp,"#line %d \"%s.cc\"\n",outline,filebase);
outline++;
if(!for_cpp)
fprintf(fp,"#line %d \"%s.c\"\n",outline,filebase);
else
fprintf(fp,"#line %d \"%s.cc\"\n",outline,filebase);