Symbol: INT_STATE_REG0