void abort(void) { for(;;); }