anchor.diff:      ?line ok = io:format("File: ~s\n", [BadFile]),
       ?line case file:read_file(BadFile) of
   	      {ok,Bin} ->
  -		  ?line {'EXIT',{badarg,_}} = (catch binary_to_term(Bin)),
  +		  ?line {'EXIT',{badarg,_}} = (catch binary_to_term_stress(Bin)),
   		  ok;
   	      Other ->
   		  ?line ?t:fail(Other)
  
positive.code:               Sz1 when is_integer(Sz1), size(Bin1) =< Sz1 ->
                    ok
                end,
  		      Term = binary_to_term(Bin),
  		      Term = binary_to_term(Bin, [safe]),
  		      Unaligned = make_unaligned_sub_binary(Bin),
  		      Term = binary_to_term(Unaligned),
  		      Term = binary_to_term(Unaligned, []),
  		      Term = binary_to_term(Bin, [safe]),
  		      BinC = erlang:term_to_binary(Term, [compressed]),
  		      Term = binary_to_term(BinC),
  		      true = size(BinC) =< size(Bin),
  		      Bin = term_to_binary(Term, [{compressed,0}]),
  		      terms_compression_levels(Term, size(Bin), 1),
  		      UnalignedC = make_unaligned_sub_binary(BinC),
  		      Term = binary_to_term(UnalignedC)
  	      end,
      ?line test_terms(TestFun),
      ok.
  
  terms_compression_levels(Term, UncompressedSz, Level) when Level < 10 ->
      BinC = erlang:term_to_binary(Term, [{compressed,Level}]),
      Term = binary_to_term(BinC),
      Sz = byte_size(BinC),
      true = Sz =< UncompressedSz,
      terms_compression_levels(Term, UncompressedSz, Level+1);
  
negative.code: 
      ?line {'EXIT',_} =
  	(catch
  	     binary_to_term_stress(
  	       <<131,
  		104,2,				%Tuple, 2 elements
  		103,				%Pid
  