anchor.diff:      {case_end,resolve_arg(X)};
   resolve_inst({call_fun,[{u,N}]},_,_,_) ->
       {call_fun,N};
  -resolve_inst({make_fun,Args},_,_,Lbls) ->
  -    [{f,L},Magic,FreeVars] = resolve_args(Args),
  -    {make_fun,lookup(L,Lbls),Magic,FreeVars};
   resolve_inst({is_function=I,Args0},_,_,_) ->
       [L|Args] = resolve_args(Args0),
       {test,I,L,Args};
  
positive.code:     [F,Live,Bif,A1,A2,A3,Reg] = resolve_args(Args),
      {extfunc,_Mod,BifName,_Arity} = lookup(Bif+1,Imports),
      {gc_bif,BifName,F,Live,[A1,A2,A3],Reg};
  
  %%
  %% New instructions for creating non-byte aligned binaries.
  %%
  resolve_inst({bs_final2,[X,Y]},_,_,_) ->
      {bs_final2,X,Y};
  
  %%
  %% R11B-5.
  
negative.code: resolve_inst({bs_init2,[Lbl,Arg2,{u,W},{u,R},{u,F},Arg6]},_,_,_) ->
      [A2,A6] = resolve_args([Arg2,Arg6]),
      {bs_init2,Lbl,A2,W,R,decode_field_flags(F),A6};
  resolve_inst({bs_add=I,[Lbl,Arg2,Arg3,Arg4,Arg5]},_,_,_) ->
      [A2,A3,A4,A5] = resolve_args([Arg2,Arg3,Arg4,Arg5]),
      {I,Lbl,[A2,A3,A4],A5};
  