Starting TVar contains 42 Raising uncaught exn in atomic block Caught: Exn raised in a tx TVar contains 42 Trying a catchSTM without raising an exception TVar contains 17 Raising caught and rethrown exn in atomic block Caught: Exn raised in a tx TVar contains 17 Raising caught and rethrown exn in atomic block TVar contained 0 at end of atomic block TVar contains 0 Testing retry inside catchSTM TVar contains 0