Symbol: DBG_STATE_ORIGINAL