anchor.diff:        ok = remove_refs_from(MFAs),
         %% Patch all dynamic references in the code.
         %%  Function calls, Atoms, Constants, System calls
  -      patch(Refs, CodeAddress, ConstMap2, Addresses, TrampolineMap),
  +      ok = patch(Refs, CodeAddress, ConstMap2, Addresses, TrampolineMap),
         %% Tell the system where the loaded funs are. 
         %%  (patches the BEAM code to redirect to native.)
         case Beam of
  
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: trampoline_map_lookup(_, []) -> []; % archs not using trampolines
  trampoline_map_lookup(Primop, Map) ->
    case gb_trees:lookup(Primop, Map) of
      {value, X} -> X;
      _ -> []
    end.
  
  