anchor.diff:  %% ____________________________________________________________________
   %% 
   
  -%% Beam: nil() | binary()  (used as a flag)
  -
   enter_code(CodeSize, CodeBinary, CalleeMFAs, LoaderState) ->
     true = byte_size(CodeBinary) =:= CodeSize,
     {CodeAddress,Trampolines} = hipe_bifs:enter_code(CodeBinary, CalleeMFAs,
  
positive.code: address_to_mfa_lth(_Address, [], Prev) -> 
      Prev.
  
  % For FunDefs sorted from high to low addresses
  %% address_to_mfa_htl(Address, [#fundef{address=Adr, mfa=MFA}|_Rest]) when Address >= Adr -> MFA;
  %% address_to_mfa_htl(Address, [_ | Rest]) -> address_to_mfa_htl(Address, Rest);
  %% address_to_mfa_htl(Address, []) -> 
  
negative.code: 
  add_ref(CalleeMFA, Address, FunDefs, RefType, Trampoline, RemoteOrLocal) ->
    CallerMFA = address_to_mfa_lth(Address, FunDefs),
    case RemoteOrLocal of
      local ->
        %% just a sanity assertion
        {_M,_,_} = CalleeMFA,
        ok;
      remote ->
        hipe_bifs:add_ref(CalleeMFA, {CallerMFA,Address,RefType,Trampoline,
  				    get(hipe_loader_state)})
    end.
  
  %% For FunDefs sorted from low to high addresses
  address_to_mfa_lth(Address, FunDefs) ->
    case address_to_mfa_lth(Address, FunDefs, false) of
      false ->
        ?error_msg("Local adddress not found ~w\n",[Address]),
        exit({?MODULE, local_address_not_found});
      MFA ->
        MFA
    end.
  
  address_to_mfa_lth(Address, [#fundef{address=Adr, mfa=MFA}|Rest], Prev) ->
    if Address < Adr -> 
  	  Prev;
  