void debug(const char *msg);