We've changed the semantics of incr() by making it no longer threadsafe.  Is this necessary?