modified:   model/protocol.py
	modified:   scripts/collect.py
	modified:   scripts/vpaxos.py
	modified:   sim/__config__
	modified:   sim/core.py
	modified:   sim/impl/epdetmn.py
	modified:   sim/impl/slpdetmn.py