Symbol: epmc_halt