BSD _setjmp for s390-64.