modified:   sim/paxos.py
	modified:   sim/rti.py