Synchronous calls update their Lamport clocks.