((Bit-Mage) 'buffer) ::
Lamport Timestamps
Tags::cs: