1const char *current_filename = 0;
2const char *current_source_filename = 0;
3