VX(C): Add the DS clock interface and Lamport clock implementation and its unit tests.