Symbol: __setjmp_save_sigs