Symbol: DBG_REG_S4