Symbol: DBG_TO_ZONEHALT