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:            {call, ?MODULE, remote_service_down_disterl, [g_node()]},
             {call, ?MODULE, wait_for_bcast, []},
             {call, ?MODULE, health_service, [g_service()]},
             {call, ?MODULE, health_service_up, [g_service(), S]},
             {call, ?MODULE, health_service_down, [g_service(), S]},
             {call, ?MODULE, health_service_error, [g_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 ->
  