anchor.diff:    Var1 = cerl:c_var(1), % '_1'
     Var2 = cerl:c_var(2), % '_2'
     cerl:c_fun([Var1],
  -	     cerl:c_case(cerl:c_case(Var1,
  -				     [cerl:c_clause([cerl:c_tuple_skel([cerl:c_atom('$argv'), Var2])], Var2),
  -				      cerl:c_clause([wildpat()], cerl:c_cons(Var1, cerl:c_nil()))]),
  -			 [cerl:c_clause([ListPattern], Body),
  -			  cerl:c_clause([wildpat()],
  -					cerl:c_call(cerl:c_atom('erlang'), cerl:c_atom('error'), [cerl:c_atom('badarity')]))])).
  +             cerl:c_case(cerl:c_case(Var1,
  +                                     [cerl:c_clause([cerl:c_tuple_skel([cerl:c_atom('$argv'), Var2])], Var2),
  +                                      cerl:c_clause([wildpat()], cerl:c_cons(Var1, cerl:c_nil()))]),
  +                         [cerl:c_clause([ListPattern], Body),
  +                          cerl:c_clause([wildpat()],
  +                                        cerl:c_call(cerl:c_atom('erlang'), cerl:c_atom('error'), [cerl:c_atom('badarity')]))])).
   
   assemble_lambda_1(Var, Body) -> % an arity-1 lambda must reject a varargs parameter
     %% Synthesize:
     %% fun (Var) -> case Var of {'$argv', _} -> erlang:error(badarity); _ -> Body end
     cerl:c_fun([Var],
  -	     cerl:c_case(Var,
  -			 [cerl:c_clause([cerl:c_tuple_skel([cerl:c_atom('$argv'), wildpat()])],
  -					cerl:c_call(cerl:c_atom('erlang'), cerl:c_atom('error'), [cerl:c_atom('badarity')])),
  -			  cerl:c_clause([wildpat()], Body)])).
  +             cerl:c_case(Var,
  +                         [cerl:c_clause([cerl:c_tuple_skel([cerl:c_atom('$argv'), wildpat()])],
  +                                        cerl:c_call(cerl:c_atom('erlang'), cerl:c_atom('error'), [cerl:c_atom('badarity')])),
  +                          cerl:c_clause([wildpat()], Body)])).
   
   assemble_lambda_N(Vars, Body) -> % any fixed arity except 1
     cerl:c_fun(Vars, Body).
  
positive.code:   io:format("~p\n", [CerlModule]),
    {ok, _} = core_lint:module(CerlModule),
    print_module(CerlModule).
  
  print_module(CerlModule) ->
    io:format("~s\n", [core_pp:format(CerlModule)]).
  
negative.code: 
  translate_letrec(Bindings, Body) ->
    assemble_letrec([translate_letrec_binding(Binding) || Binding <- Bindings],
                    translate_expr(Body)).
  
  translate_letrec_binding({Var, Formals, Body}) ->
    CerlFormals = translate_formals(Formals),
  