anchor.diff:      {Ccs,St2} = comp_match_clauses(Cls, Env, L, St1),
       {Fvs,St3} = new_c_vars(Ar, L, St2),
       Cf = func_fail(Fvs, L, St3),
  -    Cb = ann_c_case([L], c_values(Cvs), Ccs ++ [Cf]),
       Ann = line_file_anno(L, St3),
  +    Cb = ann_c_case(Ann, c_values(Cvs), Ccs ++ [Cf]),
       {ann_c_fun(Ann, Cvs, Cb),St3}.
   
   func_fail(Fvs, L, #cg{func=F}=St) ->
  
positive.code: forms(Forms, St0, Core0) ->
      %% Collect the module definition and functions definitions.
      {Fbs0,St1} = lfe_lib:proc_forms(fun collect_form/3, Forms, St0),
      %% Add predefined functions and definitions.
      Predefs = [{module_info,0},{module_info,1}],
      Mibs = [{module_info,
               [lambda,[],
                [call,?Q(erlang),?Q(get_module_info),?Q(St1#cg.mod)]],1},
              {module_info,
               [lambda,[x],
                [call,?Q(erlang),?Q(get_module_info),?Q(St1#cg.mod),x]],1}],
      %% The sum of all functions.
      Fbs1 = Fbs0 ++ Mibs,
      %% Make initial environment and set state.
  
negative.code:     {Cps,{Pvs,St1}} = mapfoldl(Pfun, {[],St0}, Pats),
      Env1 = add_vbindings(Pvs, Env0),
      {Cg,Cb,St2} = comp_clause_body(Body, Env1, L, St1),
      Ann = line_file_anno(L, St2),
      {ann_c_clause(Ann, Cps, Cg, Cb),St2}.
  
  %% comp_let(VarBindings, Body, Env, L, State) -> {c_let()|c_case(),State}.
  %% Compile a let expr. We are a little cunning in that we specialise
  