anchor.diff:    true = ets:match_delete(jsg_store,{{reverse_link,'_'},'_'}),
     httpc:reset_cookies().
   
  -start_post(State,_,_) ->
  +start_next(State,_,_) ->
     State#state{initialized=true}.
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
positive.code:     end,
    io:format
      ("~saccess ~s~s~n~n",
       [TitleString,format_http_call(Call),ResultString]),
    print_commands(Rest).
    
  test() ->
    Validator = get_option(validator),
  
negative.code: -include_lib("eqc/include/eqc_dynamic_cluster.hrl").
  -include_lib("jsongen.hrl").
  
  %% Super fragile below
  -record(eqc_statem_history,{state, args, features, result}).
  
  %%-define(debug,true).
  
  