Symbol: SOR_SEQ_INST_HALT