__sigsetjmp14
int sigsetjmp(sigjmp_buf, int) __RENAME(__sigsetjmp14) __returns_twice;
int __sigsetjmp14(sigjmp_buf, int) __returns_twice;