modified:   model/execute.py
	modified:   sim/paxos.py
	modified:   sim/rand.py
	modified:   sim/simulate.py