anchor.diff:  %%----------------------------------------------------------------
   %% Record that the code at address 'Address' has a reference
   %% of type 'RefType' ('call' or 'load_mfa') to 'CalleeMFA'.
  -%% 'Addresses' must be an address-descending list from exports/2.
  +%% 'FunDefs' must be an address-descending list from exports/2.
   %%
   %% If 'RefType' is 'call', then 'Trampoline' may be the address
   %% of a stub branching to 'CalleeMFA', where the stub is reachable
  
positive.code:   patch_bif_call_list(Offsets, BaseAddress, BifAddress, Trampoline);
  patch_bif_call_list([], _, _, _) -> ok.
  
  patch_mfa_call_list([Offset|Offsets], BaseAddress, DestMFA, DestAddress, Addresses, RemoteOrLocal, Trampoline) ->
    CallAddress = BaseAddress+Offset,
    add_ref(DestMFA, CallAddress, Addresses, 'call', Trampoline, RemoteOrLocal),
    ?ASSERT(assert_local_patch(CallAddress)),
    patch_call_insn(CallAddress, DestAddress, Trampoline),
    patch_mfa_call_list(Offsets, BaseAddress, DestMFA, DestAddress, Addresses, RemoteOrLocal, Trampoline);
  patch_mfa_call_list([], _, _, _, _, _, _) -> ok.
  
  patch_call_insn(CallAddress, DestAddress, Trampoline) ->
  
negative.code: %%--------------------------------------------------------------------
  
  %% To find the native code of an MFA we need to look in 3 places:
  %%  1. If it is compiled now look in the FunDefs data structure.
  %%  2. Then look in native_addresses from module info. 
  %%  3. Then (the function might have been singled compiled) look in
  %%      hipe_funinfo
  %%  If all else fails create a native stub for the MFA 
  get_native_address(MFA, FunDefs, RemoteOrLocal) ->
    case mfa_to_address(MFA, FunDefs, RemoteOrLocal) of
      Adr when is_integer(Adr) -> Adr;
      false ->
        IsRemote =
  