#include <u.h> extern int setjmp(jmp_buf);extern void longjmp(jmp_buf, int);extern void _Noreturn _exit(int);extern void _Noreturn exit(int); #include <libc.h>#include <u.h>
extern int setjmp(jmp_buf);
extern void longjmp(jmp_buf, int);
extern void _Noreturn _exit(int);
extern void _Noreturn exit(int);
#include <libc.h>