micro lamport (LAMPORT)