anchor.diff:      [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.
  
positive.code:     {wait,Lbl};
  resolve_inst({wait_timeout,[Lbl,Int]},_,_,_) ->
      {wait_timeout,Lbl,resolve_arg(Int)};
  resolve_inst({m_plus,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'+',W,[SrcR1,SrcR2],DstR};
  resolve_inst({m_minus,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'-',W,[SrcR1,SrcR2],DstR};
  resolve_inst({m_times,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'*',W,[SrcR1,SrcR2],DstR};
  resolve_inst({m_div,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'/',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_div,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'div',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_rem,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'rem',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_band,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'band',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_bor,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'bor',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_bxor,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'bxor',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_bsl,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'bsl',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_bsr,Args},_,_,_) ->
      [W,SrcR1,SrcR2,DstR] = resolve_args(Args),
      {arithbif,'bsr',W,[SrcR1,SrcR2],DstR};
  resolve_inst({int_bnot,Args},_,_,_) ->
      [W,SrcR,DstR] = resolve_args(Args),
      {arithbif,'bnot',W,[SrcR],DstR};
  resolve_inst({is_lt=I,Args0},_,_,_) ->
      [L|Args] = resolve_args(Args0),
      {test,I,L,Args};
  
negative.code: %%
  %% Instructions for handling binaries added in R7A & R7B
  %%
  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};
  