-typedef unsigned long sigjmp_buf[(128+sizeof(jmp_buf))/sizeof(long)];
-#ifdef _GNU_SOURCE
-#define jmp_buf sigjmp_buf
-#endif
-int sigsetjmp (sigjmp_buf, int);
-void siglongjmp (sigjmp_buf, int);
+typedef jmp_buf sigjmp_buf;
+int sigsetjmp (sigjmp_buf, int) __setjmp_attr;
+_Noreturn void siglongjmp (sigjmp_buf, int);