anchor.diff:  
   check_func(F, Ar, Env, L, St) ->
       case lfe_env:is_fbound(F, Ar, Env) orelse
  -	lfe_internal:is_erl_bif(F, Ar) orelse
  -	lfe_internal:is_lfe_bif(F, Ar) of
  +        lfe_internal:is_erl_bif(F, Ar) orelse
  +        lfe_internal:is_lfe_bif(F, Ar) of
           true -> St;
  -        false -> unbound_func_error(L, {F,Ar}, St)
  +        false -> undefined_func_error(L, {F,Ar}, St)
       end.
   
   %% check_body(Body, Env, Line, State) -> State.
  
positive.code: 
  %% check_exports(Exports, Funcs, State) -> State.
  
  check_exports(all, _, St) -> St;                %All is all
  check_exports(Exps, Fs, St) ->
      foldl(fun (E, S) ->
                    case is_element(E, Fs) of
                        true -> S;
                        false -> add_error(9999, {unbound_func,E}, S)
                    end
            end, St, Exps).
  
  %% add_exports(Old, More) -> New.
  
  add_exports(all, _) -> all;
  add_exports(Old, More) -> union(Old, More).
  
  %% check_expr(Expr, Env, Line, State) -> State.
  %% Check an expression.
  
negative.code:     {lists:reverse(Fbs),St1}.
  
  collect_form({['define-module',Mod,Meta,Atts],L}, {Fbs,St0}) ->
      St1 = check_mdef(Meta, Atts, L, St0#lint{module=Mod,mline=L}),
      if is_atom(Mod) ->                  %Normal module
              {Fbs,St1};
         true ->                          %Bad module name
  