modified:   scripts/fastpaxos.py