Example implementation of transactions using continuations (cps).