anchor.diff:      {reverse(Vs),Bs}.
   
   eval_op(Op, Arg1, Arg2, Bs, Ef, RBs) ->
  -    do_apply({erlang,Op}, [Arg1,Arg2], Bs, Ef, RBs).
  +    do_apply(erlang, Op, [Arg1,Arg2], Bs, Ef, RBs).
   
   eval_op(Op, Arg, Bs, Ef, RBs) ->
  -    do_apply({erlang,Op}, [Arg], Bs, Ef, RBs).
  +    do_apply(erlang, Op, [Arg], Bs, Ef, RBs).
   
   %% if_clauses(Clauses, Bindings, LocalFuncHandler, ExtFuncHandler, RBs)
   
  
positive.code: 
  guard_test({call,L,{atom,Ln,F},As0}, Bs0, Lf, Ef) ->
      TT = type_test(F),
      guard_test({call,L,{tuple,Ln,[{atom,Ln,erlang},{atom,Ln,TT}]},As0},
                 Bs0, Lf, Ef);
  guard_test({call,L,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,_F}=T},As0}, 
             Bs0, Lf, Ef) ->
      guard_test({call,L,T,As0}, Bs0, Lf, Ef);
  
negative.code: bif(apply, [erlang,apply,As], Bs, Ef, RBs) ->
      bif(apply, As, Bs, Ef, RBs);
  bif(apply, [M,F,As], Bs, Ef, RBs) ->
      do_apply(M, F, As, Bs, Ef, RBs);
  bif(apply, [F,As], Bs, Ef, RBs) ->
      do_apply(F, As, Bs, Ef, RBs);
  bif(Name, As, Bs, Ef, RBs) ->
      do_apply(erlang, Name, As, Bs, Ef, RBs).
  
  %% do_apply(MF, Arguments, Bindings, ExternalFuncHandler, RBs) ->
  %%	{value,Value,Bindings} | Value when
  