void DBG2_open(); void DBG2_output(char *msg); void DBG2_close();