improved/new DEBUG_TRACE output