paxos: more notes on base simulator code