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: %%
  %% Instructions for handling binaries added in R7A & R7B
  %%
  resolve_inst({bs_start_match,[F,Reg]},_,_,_) ->
      {bs_start_match,F,Reg};
  resolve_inst({bs_get_integer=I,[Lbl,Arg2,{u,N},{u,U},Arg5]},_,_,_) ->
      [A2,A5] = resolve_args([Arg2,Arg5]),
      {test,I,Lbl,[A2,N,decode_field_flags(U),A5]};
  resolve_inst({bs_get_float=I,[Lbl,Arg2,{u,N},{u,U},Arg5]},_,_,_) ->
      [A2,A5] = resolve_args([Arg2,Arg5]),
      {test,I,Lbl,[A2,N,decode_field_flags(U),A5]};
  resolve_inst({bs_get_binary=I,[Lbl,Arg2,{u,N},{u,U},Arg5]},_,_,_) ->
      [A2,A5] = resolve_args([Arg2,Arg5]),
      {test,I,Lbl,[A2,N,decode_field_flags(U),A5]};
  resolve_inst({bs_skip_bits,[Lbl,Arg2,{u,N},{u,U}]},_,_,_) ->
      A2 = resolve_arg(Arg2),
      {test,bs_skip_bits,Lbl,[A2,N,decode_field_flags(U)]};
  resolve_inst({bs_test_tail,[F,{u,N}]},_,_,_) ->
      {test,bs_test_tail,F,[N]};
  resolve_inst({bs_save,[{u,N}]},_,_,_) ->
      {bs_save,N};
  resolve_inst({bs_restore,[{u,N}]},_,_,_) ->
      {bs_restore,N};
  resolve_inst({bs_init,[{u,N},{u,U}]},_,_,_) ->
      {bs_init,N,decode_field_flags(U)};
  resolve_inst({bs_final,[F,X]},_,_,_) ->
      {bs_final,F,X};
  resolve_inst({bs_put_integer,[Lbl,Arg2,{u,N},{u,U},Arg5]},_,_,_) ->
      [A2,A5] = resolve_args([Arg2,Arg5]),
      {bs_put_integer,Lbl,A2,N,decode_field_flags(U),A5};
  
negative.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};
  
  %%
  %% R11B-5.
  