#ifndef FIRM_STATISTICS
+#define stat_ev_do(expr)
+#define stat_ev_dbl(name, val)
+
#define stat_ev_cnt_decl(var)
#define stat_ev_cnt_inc(var)
#define stat_ev_cnt_done(name, var)
#define stat_ev_ctx_pop()
#define stat_ev_begin(prefix)
#define stat_ev_end()
+#define stat_ev_flush()
#else
void stat_ev_emit(const char *name, double val);
void stat_ev_begin(const char *prefix);
void stat_ev_end(void);
+void stat_ev_flush(void);
#endif