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