anchor.diff:                                         Res==ok)
                                   end))
               end)).
  -
   
   %% ---------------------------------------------------------------------------
   %% statem behavior
  
positive.code: qs ([{K,V}|QS]) -> f("~s=~w&~s", [K,V,qs(QS)]);
  qs ([]) -> "".
  
  -endif. % EQC
  
negative.code:             collect(Auth,
              begin
                  setup(Auth),
                  start_apps(),
  
                  %% ensure riak_control is up and running
                  riak_core:wait_for_application(riak_control),
  