Symbol: ksh_sigsetjmp