Vector Clocks in LevelDB