| /* For debugging general purposes */ | |
| extern int verbose; | |
| extern int dump_trace; | |
| int eprintf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); | |
| int dump_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); | |
| void trace_event(event_t *event); |