void DBG_open(); void DBG_output(char *msg); void DBG_close();