Changes in setjmps