This version implements a simple form of transactions, where all of
the write activity is performed in a single action, so all we need is
a timestamp to bracket reads (i.e., no need to potentially unwind
changes).

