Function lamport_recv 

pub fn lamport_recv(local: u64, msg: u64) -> u64

Lamport clock on receiving a message stamped msg: max(local, msg) + 1.