Initial implementation of get_lamport_time()