anchor.diff:  ann_c_apply(Ann, Op, As) ->
       cerl:ann_c_apply(Ann, Op, As).
   
  -c_values(Vs) ->
  -    cerl:c_values(Vs).
  +ann_c_values(Ann, Vs) -> cerl:ann_c_values(Ann, Vs).
   
   get_ann(Node) -> cerl:get_ann(Node).
   set_ann(Node, Ann) -> cerl:set_ann(Node, Ann).
  
positive.code:     Cv = c_var('Try'),
      Evs = [c_var('T'),c_var('R')],              %Why only two?
      False = c_atom(false),                      %Exception returns false
      {ann_c_try([L], Ce, [Cv], Cv, Evs, False),St1}.
  
  %% comp_guard_tests(GuardTests, Env, Line, State) -> {CoreTest,State}.
  %%  Compile a guard test, making sure it returns a boolean value. We
  
negative.code: 
  fail_clause(Pats, Arg, Fann, L, St) ->
      Ann = line_file_anno(L, St),
      ann_c_clause(comp_gen_anno(L, St),          %It is compiler generated
                   Pats, ann_c_primop(Fann ++ Ann, c_atom(match_fail), [Arg])).
  
  %% comp_case(Expr, Clauses, Env, Line, State) -> {c_case(),State}.
  