filename.cc   [plain text]

const char *current_filename = 0;