anchor.diff:      {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).
  
positive.code:              _, 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]},_,_,_) ->
  
negative.code:     [resolve_inst(Instr, Imports, Str, Lbls, Lambdas, Literals, M) || Instr <- Fun].
  
  %%
  %% Instructions that need to look up an entry in the Lambda table.
  %% We handle these specially here to avoid adding an argument to
  %% the clause for every instruction.
  %%
  %% - make_fun2/4 (R8, added in August 2001)
  %% - make_fun3/3 (OTP 24)
  %% - call_fun2/3 (OTP 25)
  %%
  
  resolve_inst({make_fun2,Args}, _, _, _, Lambdas, _, M) ->
  