anchor.diff:      io:put_chars(Src, "t(Last) ->[\n"),
       io:put_chars(Data, "[\n"),
   
  -    do_integer_encoding(-(id(1) bsl 10000), Src, Data),
  -    do_integer_encoding(id(1) bsl 10000, Src, Data),
  -    do_integer_encoding(1024, 0, Src, Data),
  +    do_integer_encoding(137, 0, Src, Data),
       _ = [begin
   	     B = 1 bsl I,
   	     do_integer_encoding(-B-1, Src, Data),
  
positive.code: 	     do_integer_encoding(B-1, Src, Data),
  	     do_integer_encoding(B, Src, Data),
  	     do_integer_encoding(B+1, Src, Data)
  	 end || I <- lists:seq(1, 128)],
      io:put_chars(Src, "Last].\n\n"),
      ok = file:close(Src),
      io:put_chars(Data, "0].\n\n"),
  
negative.code:     %% Compare lists.
      List = Mod:t(0),
      {ok,[List]} = file:consult(DataFile),
  
      %% Cleanup.
      file:delete(SrcFile),
  