use a vector clock count as the test example