/* ** halt.h ** */ void halt();