modified:   model/protocol.py
	modified:   scripts/fastpaxos.py