Symbol: Z_HALT