anchor.diff:  
   -spec request_histogram(Size::pos_integer(), SourceId::comm:mypid()) -> ok.
   request_histogram(Size, SourcePid) when Size < 1 ->
  -    error(badarg, [Size, SourcePid]);
  +    erlang:error(badarg, [Size, SourcePid]);
   
   request_histogram(Size, SourcePid) ->
       gossip:start_gossip_task(?MODULE, [Size, SourcePid]).
  
positive.code: %%      Used as value_creator in tester.erl (property testing).
  -spec tester_create_state(ConvCount, Leader, LoadData, Merged, Range, Round, Status,
          NoOfBuckets, Request, Instance) -> state() when
      ConvCount :: non_neg_integer(),
      Leader :: boolean(),
      LoadData::load_data(),
      Merged :: non_neg_integer(),
      Range :: intervals:non_empty_interval(),
      Round :: non_neg_integer(),
      Status :: init|uninit,
      NoOfBuckets :: 1..50,
      Request :: boolean(),
      Instance :: instance().
  tester_create_state(ConvCount, Leader, LoadData, Merged, Range, Round, Status,
          NoOfBuckets, Request, Instance) ->
      NewState = ets:new(cbstate, [set, protected]),
  
negative.code: 
  
  -spec finish_request(State) -> {ok, State} when
      is_subtype(State, state()).
  finish_request(State) ->
      Histo = load_data_get(histo, state_get(load_data, State)),
      case state_get(leader, State) of
  