Lamport.promela 614 Bytes