Add some simple Lamport clocks