anchor.diff:    case AST of
       {'ES:BEGIN', First, Next} ->
         translate_begin(First, Next, FEnv);
  +    {'ES:CASE', Expr, Clauses} ->
  +      translate_case(Expr, Clauses, FEnv);
       {'ES:CONS', Hd, Tl} ->
         translate_cons(Hd, Tl, FEnv);
       {'ES:GLOVAR', Var} ->
  
positive.code: translate_tuple(Exprs, FEnv) ->
    cerl:c_tuple(lists:map(fun(Expr) -> translate_expr(Expr, FEnv) end, Exprs)).
  
  modinfo0_def(ModuleName) ->
    {modinfo0_fname(),
     cerl:c_fun([], cerl:c_call(cerl:c_atom('erlang'), cerl:c_atom('get_module_info'), [ModuleName]))}.
  
negative.code:   cerl:c_fname('module_info', 1).
  
  wildpat() ->
    newvar().
  
  newvar() ->
    %% Neither cerl, core_lint, nor core_pp reject negative numeric variable names,
  