Symbol: INT_LATCH