anchor.diff:  	ResponseCode = http_result_code(Result),
   	case response_has_body(Result) of
   	  true -> 
  +	    Body =
  +	      case has_ets_body(Result) of
  +		true -> "<<abstracted_body>>";
  +		false -> http_body(Result)
  +	      end,
   	    io_lib:format
   	      (" ->~n    ~p with body ~s",
  -	       [ResponseCode,http_body(Result)]);
  +	       [ResponseCode,Body]);
   	  false ->
   	    io_lib:format
   	      (" ->~n     ~p",
  
positive.code:   print_commands(Rest).
    
  test() ->
    case eqc:quickcheck(eqc:on_output(fun eqc_printer/2,prop_ok())) of
      false ->
        io:format("~n~n***FAILED~n");
      true ->
        io:format("~n~nPASSED~n",[])
    end.
  
  run_statem(PrivateModule,Files) ->
  
negative.code:   %%io:format
      %%("~nfollow_link:~n~p~n URI is ~p; request ~p~n",
       %%[Link,URI,RequestType]),
    case jsg_links:link_title(Link) of
      String when is_list(String) ->
        Key = list_to_atom(String),
        {ok,Stats} = jsg_store:get(stats),
        NewValue =
  	case lists:keyfind(Key,1,Stats) of
  	  false -> 1;
  	  {_,N} -> N+1
  	end,
        jsg_store:put(stats,lists:keystore(Key,1,Stats,{Key,NewValue}));
      _ -> ok
    end,
    Result = http_request(URI,RequestType,Body,QueryParms),
    NewResult =
      case response_has_body(Result) of
  