/* For debugging general purposes */ extern int verbose; int eprintf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));