-#define mfprintf fprintf
-static FILE* stat_ev_file = NULL;
-
-#endif /* FIRM_HAVE_LIBZ */
-
-int stat_ev_enabled = 0;
-int stat_ev_timer_sp = 0;
-timing_ticks_t stat_ev_timer_elapsed[MAX_TIMER];
-timing_ticks_t stat_ev_timer_start[MAX_TIMER];
-timing_sched_env_t stat_ev_sched_rt;
-timing_sched_env_t stat_ev_sched_normal;
-
-#ifdef FIRM_HAVE_REGEX
-#include <regex.h>