anchor.diff:      <<MaskedInt:N/little>> = NumBin,
   
       %% Construct the binary in two different ways.
  -    Bin = id(<<Lpad:Bef/little,NumBin/bitstring,Rpad:(128-Bef-N)/little>>),
  -    Bin = <<Lpad:Bef/little,Int:N/little,Rpad:(128-Bef-N)/little>>,
  +    Bin = id(<<Lpad:Bef/little,NumBin/bitstring,Rpad:(64-Bef-N)/little>>),
  +    Bin = <<Lpad:Bef/little,Int:N/little,Rpad:(64-Bef-N)/little>>,
   
       %% Further verify the result by matching.
       LpadMasked = Lpad band ((1 bsl Bef) - 1),
  -    RpadMasked = Rpad band ((1 bsl (128-Bef-N)) - 1),
  -    Rbits = (128-Bef-N),
  +    RpadMasked = Rpad band ((1 bsl (64-Bef-N)) - 1),
  +    Rbits = (64-Bef-N),
       <<LpadMasked:Bef/little,MaskedInt:N/little,RpadMasked:Rbits/little>> = id(Bin),
       ok.
   
  
positive.code:     <<MaskedInt:N>> = NumBin,
  
      %% Construct the binary in two different ways.
      Bin = id(<<Lpad:Bef,NumBin/bitstring,Rpad:(128-Bef-N)>>),
      Bin = <<Lpad:Bef,Int:N,Rpad:(128-Bef-N)>>,
  
      %% Further verify the result by matching.
      LpadMasked = Lpad band ((1 bsl Bef) - 1),
      RpadMasked = Rpad band ((1 bsl (128-Bef-N)) - 1),
      Rbits = (128-Bef-N),
      <<LpadMasked:Bef,MaskedInt:N,RpadMasked:Rbits>> = id(Bin),
      ok.
  
  
negative.code: %% give the same result.
  
  dynamic(Config) when is_list(Config) ->
      Ps = [spawn_monitor(fun() ->
  				dynamic_1(Fun)
  			end) || Fun <- [fun dynamic_big/5,
  					fun dynamic_little/5]],
      [receive
  	 {'DOWN',Ref,process,Pid,normal} ->
  	     ok;
  	 {'DOWN',Ref,process,Pid,Exit} ->
  	     ?t:fail({Pid,Exit})
       end || {Pid,Ref} <- Ps],
      ok.
  
  dynamic_1(Dynamic) ->
      <<Lpad:64,_/binary>> = erlang:md5([0]),
      <<Rpad:64,_/binary>> = erlang:md5([1]),
      <<Int:64,_/binary>> = erlang:md5([2]),
      2145 = dynamic_2(0, {Int,Lpad,Rpad,Dynamic}, 0).
  
  dynamic_2(64+1, _, Count) -> Count;
  dynamic_2(Bef, Data, Count0) ->
      Count = dynamic_3(Bef, 64-Bef, Data, Count0),
      dynamic_2(Bef+1, Data, Count).
  
  dynamic_3(_, -1, _, Count) -> Count;
  