anchor.diff:               _, Strings, _) ->
       List = resolve_bs_create_bin_list(List0, Strings),
       {bs_create_bin,Fail,Heap,Live,Unit,Dst,{list,List}};
  -resolve_inst({call_fun2,[Tag,{u,Arity},Func]},_,_,_) ->
  -    {call_fun2,Tag,Arity,Func};
   resolve_inst({nif_start,[]},_,_,_) ->
       nif_start;
   resolve_inst({badrecord,[Arg]},_,_,_) ->
  
positive.code:     [resolve_inst(Instr, Imports, Str, Lbls, Lambdas, Literals, M) || Instr <- Fun].
  
  %%
  %% New make_fun2/4 instruction added in August 2001 (R8).
  %% We handle it specially here to avoid adding an argument to
  %% the clause for every instruction.
  %%
  
  resolve_inst({make_fun2,Args}, _, _, _, Lambdas, _, M) ->
  
negative.code:     {OldIndex,{F,A,_Lbl,_Index,_NumFree,OldUniq}} =
  	lists:keyfind(OldIndex, 1, Lambdas),
      {make_fun3,{M,F,A},OldIndex,OldUniq,Dst,{list,Env1}};
  resolve_inst({call_fun2,Args}, _, _, _, Lambdas, _, _) ->
      [Tag0,Arity,Func] = resolve_args(Args),
      Tag = case Tag0 of
                Index when is_integer(Index) ->
                    {Tag0,{_F,_A,Label,_Index,_NumFree,_OldUniq}} =
                        lists:keyfind(Tag0, 1, Lambdas),
                    {f,Label};
                _ ->
                    Tag0
            end,
      {call_fun2,Tag,Arity,Func};
  resolve_inst(Instr, Imports, Str, Lbls, _Lambdas, _Literals, _M) ->
      %% io:format(?MODULE_STRING":resolve_inst ~p.~n", [Instr]),
      resolve_inst(Instr, Imports, Str, Lbls).
  