anchor.diff:  pat_binary(Segs, L, Vs0, St0) ->
       Vsps = get_bitsegs(Segs),
       {Csegs,Vs1,St1} = pat_bitsegs(Vsps, L, Vs0, St0),
  -    {#c_binary{anno=[L],segments=Csegs},Vs1,St1}.
  +    {c_binary([L], Csegs),Vs1,St1}.
   
   %% pat_bitsegs(Segs, Line, PatVars, State) -> {CBitsegs,PatVars,State}.
   
  
positive.code:     {append_c_seq(Ce, Cb, L),St2};        %Flatten nested sequences
  comp_body([], _, _, St) -> {c_nil(),St}.  %Empty body returns []
  
  append_c_seq(#c_seq{body=B}=Cseq, Ce, L) ->
      Cseq#c_seq{body=append_c_seq(B, Ce, L)};
  append_c_seq(H, Ce, L) -> #c_seq{anno=[L],arg=H,body=Ce}.
  
  %% comp_body([E], Env, L, St) -> comp_expr(E, Env, L, St);
  %% comp_body([E|Es], Env, L, St0) ->
  %%     {Ce,St1} = comp_expr(E, Env, L, St0),
  %%     {Ces,St2} = comp_body(Es, Env, L, St1),
  %%     {#c_seq{anno=[L],arg=Ce,body=Ces},St2};
  %% comp_body([], _, _, St) -> {c_nil(),St}.    %Empty body
  
  %% comp_expr(Expr, Env, Line, State) -> {CoreExpr,State}.
  %% Compile an expression.
  
negative.code:     {Cvs,Pvs,St1} = comp_lambda_args(Args, L, St0),
      {Cb,St2} = comp_body(Body, add_vbindings(Pvs, Env), L, St1),
      Ann = line_file_anno(L, St2),
      {c_fun(Ann, Cvs, Cb),St2}.
  
  comp_lambda_args(Args, L, St) ->
      foldr(fun (A, {Cvs,Pvs0,St0}) ->
  