anchor.diff:      SpecFun = fun(S) -> sofs:no_elements(S) > 1 end,
       F = sofs:relation_to_family(sofs:converse(sofs:relation(L))),
       D = sofs:to_external(sofs:family_specification(SpecFun, F)),
  -    ?line [] = D,
  -    ?line [] = [{E,H,H2} || {E,H} <- L, (H2 = erlang:phash2(E, Max)) =/= H],
  +    [] = D,
  +    [] = [{E,H,H2} || {E,H} <- L, (H2 = erlang:phash2(E, Max)) =/= H],
       ok.
   
   -ifdef(FALSE).
  
positive.code: %% define -DSTANDALONE when compiling.
  %%
  basic_test() ->
      ?line 685556714 = erlang:phash({a,b,c},16#FFFFFFFF),
      ?line 14468079 = erlang:hash({a,b,c},16#7FFFFFF),
      ?line 37442646 =  erlang:phash([a,b,c,{1,2,3},c:pid(0,2,3),
  				    16#77777777777777],16#FFFFFFFF),
      ?line Comment = case erlang:hash([a,b,c,{1,2,3},c:pid(0,2,3),
  				      16#77777777777777],16#7FFFFFF) of
  			102727602 ->
  			    ?line big = erlang:system_info(endian),
  			    "Big endian machine";
  			105818829 ->
  			    ?line little = erlang:system_info(endian),
  			    "Little endian machine"
  		    end,
      ExternalReference = <<131,114,0,3,100,0,13,110,111,110,111,100,101,64,
  			 110,111,104,111,115,116,0,0,0,0,122,0,0,0,0,0,0,0,0>>,
      ?line 1113403635 = erlang:phash(binary_to_term(ExternalReference),
  				    16#FFFFFFFF),
      ?line 123 = erlang:hash(binary_to_term(ExternalReference),
  			    16#7FFFFFF),
      ExternalFun = <<131,117,0,0,0,3,103,100,0,13,110,111,110,111,100,101,64,
  		   110,111,104,111,115,116,0,0,0,38,0,0,0,0,0,100,0,8,101,
  
negative.code: 		 _ ->
  		     Steps
  	     end,
      X = erlang:phash(R,16#FFFFFFFF),
      Y = make_hash(R,16#FFFFFFFF),
      case X =:= Y of
  	true ->
  	    do_cmp_hashes(N - 1, NSteps);
  	_ ->
  