Real implementation calling __sigjmp_save.