VX(C): Add the vector clock.