Symbol: NORMAL_ISA