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