fullabort
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
void fullabort(void) __NORETURN;
fullabort(); }
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();
fullabort();