void entry() { while (1); }