anchor.diff:  
   add_ref(CalleeMFA, Address, FunDefs, RefType, Trampoline, RemoteOrLocal) ->
     CallerMFA = address_to_mfa_lth(Address, FunDefs),
  -  _  = case RemoteOrLocal of
  +  case RemoteOrLocal of
       local ->
         %% just a sanity assertion
  -      {M,_,_} = CalleeMFA,
  -      {M,_,_} = CallerMFA;
  +      {_M,_,_} = CalleeMFA,
  +      ok;
       remote ->
         hipe_bifs:add_ref(CalleeMFA, {CallerMFA,Address,RefType,Trampoline,
   				    get(hipe_loader_state)})
  -  end,
  -  ok.
  -
  -% For FunDefs sorted from low to high addresses
  +  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.
  -    
  +  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;
  
positive.code: %% ____________________________________________________________________
  %% 
  
  %% 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,
  
negative.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, []) -> 
  