void be_stat_ev_push(const char **tags, int n_tags, FILE *f);
void be_stat_ev_pop(void);
void be_stat_ev(const char *ev, int value);
void be_stat_ev_push(const char **tags, int n_tags, FILE *f);
void be_stat_ev_pop(void);
void be_stat_ev(const char *ev, int value);