Symbol: DBG_LEAVE