#ifndef T_TRACER
int T_stdout;
#endif

void exit_function(const char *file, const char *function, const int line, const char *s) {
}