#include "halt.h" void halt() { for (;;) ; }