os_exit
extern void os_exit(os_error const *, int) __attribute__((noreturn));
os_exit(NULL, 0);
os_exit(NULL, main(argc, argv));