> Below are two additional test cases. Thanks for the tests. > The first one is probably redundant, That's OK. I added it anyway. > The second checks that withValue uses proper unwind protection, > which doesn't seem to be covered by the test suite yet. True, it isn't. Unfortunately, the code you sent was syntactically incorrect. Could you please send a corrected version? Thanks.