anchor.diff:  start_link(ConfigPath, PolicyMod) -> start_link([ConfigPath, PolicyMod]).
   
   stop() -> gen_server:cast(?MODULE, stop).
  +
  +reinit() -> gen_server:call(?MODULE, reinit).
   
   set(Key, Val) -> ?MODULE:set([{Key, Val}]).
   set(KVList)   -> gen_server:call(?MODULE, {set, KVList}).
  
positive.code: % nodes getting added/removed, and gossiping about config
  % information.
  %
  -record(config, {static = [],  % List of TupleList's; TupleList is {K, V}.
                   dynamic = [], % List of TupleList's; TupleList is {K, V}.
                   policy_mod
                  }).
  
negative.code: code_change(_OldVsn, State, _Extra) -> {ok, State}.
  handle_cast(stop, State)            -> {stop, shutdown, State}.
  handle_info(_Info, State)           -> {noreply, State}.
  
  handle_call(reinit, _From, State) ->
      case init(State#config.init) of
          {ok, State2}  -> {reply, ok, State2};
          {stop, Error} -> {reply, {error, Error}, State}
      end;
  
  handle_call(get, _From, State) -> {reply, State, State};
  
  