DAT_OS_DBG_DEST_STDOUT
if (DAT_OS_DBG_DEST_STDOUT & g_dbg_dest) {
static DAT_OS_DBG_DEST g_dbg_dest = DAT_OS_DBG_DEST_STDOUT;