void restore(const string &s);
bool add(const string &, unsigned view_id);
bool ismember(const string &m, unsigned view_id);
- void heartbeater(void);
+ void heartbeater NORETURN ();
void paxos_commit(unsigned instance, const string &v);
rpcs *get_rpcs() { return paxos.get_rpcs(); }
void breakpoint(int b) { paxos.breakpoint(b); }