int main(void) { return init_main_abort(); }
int main(int argc, char *argv[]) { return init_main_abort(argc, argv); }