new file:   scripts/vpaxos.py