modified:   model/ddist.py
	modified:   model/protocol.py
	modified:   sim/core.py
	modified:   sim/impl/slpdetmn.py
	modified:   sim/paxos.py