#ifndef FIRM_STATEVENT_H
#define FIRM_STATEVENT_H
-#ifndef FIRM_STATISTICS
+#if !defined(FIRM_STATISTICS) || defined(DISABLE_STATEV)
#define stat_ev_do(expr)
#define stat_ev_if if (0)
#else
#include <stdio.h>
-#include "timing.h"
+#include "stat_timing.h"
extern void stat_ev_printf(char ev_type, const char *key, const char *fmt, ...);