5 POSIX specification:@* @url{https://pubs.opengroup.org/onlinepubs/9699919799/functions/_exit.html}
9 Portability problems fixed by Gnulib:
12 This function is declared in a different header file (namely, @code{<stdlib.h>})
17 Portability problems not fixed by Gnulib: