Test code 'Monadic transactions for Clojure-style atoms'