modified:   model/protocol.py
	modified:   scripts/vpaxos.py