anchor.diff:    patch_offset(Type, Data, Address, ConstAndZone, Addresses),
     ?debug_msg("Patching done\n",[]),
     patch_all_offsets(Type, Data, Offsets, BaseAddress, ConstAndZone, Addresses);
  -patch_all_offsets(_, _, [], _, _, _) -> true.
  +patch_all_offsets(_, _, [], _, _, _) -> ok.
   
   %%----------------------------------------------------------------
   %% Handle any patch type except 'call_local' or 'call_remote'.
  
positive.code: %%========================================================================
  
  -spec load_native_code(Mod, binary()) -> 'no_native' | {'module', Mod}
  					  when is_subtype(Mod, atom()).
  %% @doc
  %%    Loads the native code of a module Mod.
  %%    Returns {module,Mod} on success (for compatibility with
  
negative.code:   ?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) ->
    %% This assertion is false when we're called from redirect/2.
  