bool amiprimary();
void set_state_transfer(rsm_state_transfer *_stf) { stf = _stf; }
- void recovery();
+ void recovery NORETURN ();
void commit_change(unsigned vid);
template<class P, class F, class C=void> void reg(rpc_protocol::proc_t<P> proc, F f, C *c=nullptr) {