void exit(int result) __noreturn;
Exits the current process with exit code result. Does not return.
undefined