I believe that this will introduce a strange change in the `if` statement after `setjmp`.