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