anchor.diff:      wait_for_avsn(Avsn0),
       Pid.
   
  +health_service_defaults(Service) ->
  +    Avsn0 = riak_core_node_watcher:avsn(),
  +    Pid = spawn(fun() -> service_loop() end),
  +    ok = riak_core_node_watcher:service_up(Service, Pid, {mod_health, callback, [Pid]}),
  +    wait_for_avsn(Avsn0),
  +    Pid.
  +
   health_service_up(Service, S) ->
       Self = self(),
       health_meck(fun(P1, P2) ->
  
positive.code: next_state(S, _Res, {call, _, wait_for_bcast, _}) ->
      S;
  
  next_state(S, Res, {call, _, health_service, [Service]}) ->
      S2 = service_up(node(), Service, S),
      Pids = orddict:store(Service, Res, S2#state.service_pids),
      Healths = orddict:store(Service, Res, S2#state.service_healths),
      S2#state { service_pids = Pids, service_healths = Healths};
  
  next_state(S, _Res, {call, _, health_service_up, [Service, _]}) ->
      S2 = service_up(node(), Service, S),
  
negative.code:     validate_broadcast(S, S2, service),
      deep_validate(S2);
  
  postcondition(S, {call, _, health_service_defaults, [Service]}, _Res) ->
      S2 = service_up(node(), Service, S),
      validate_broadcast(S, S2, service),
      deep_validate(S2);
  
  postcondition(S, {call, _, health_service_up, [Service, _]}, _Res) ->
      case is_service_up(node(), Service, S) of
          true ->
  