filename.cpp revision 256281 
1const char *current_filename = 0;
2const char *current_source_filename = 0;
3