LeaderElectionCR79.promela 472 Bytes