Lamport_timestamps loading ...