+set_done(void (*new)(int) NORETURN)
+{
+ generic_pointer gpo, gpn;
+
+ if (altexit != exit && new != exit) {
+ gpo.f = (void (*)(void))altexit;
+ gpn.f = (void (*)(void))new;
+ inform("altexit trampled: %p %p", gpo.v, gpn.v);
+ }
+ altexit = new;
+}
+
+void NORETURN
+done(int status)