Symbol: INS_HALT