anchor.diff:  lc_tq(_Line, [], St0) ->
       {[],St0#exprec{checked_ra = []}}.
   
  -
   %% normalise_fields([RecDef]) -> [Field].
   %%  Normalise the field definitions to always have a default value. If
   %%  none has been given then use 'undefined'.
  
positive.code:                  vcount=0,            % Variable counter
                   imports=[],          % Imports
                   records=dict:new(),  % Record definitions
  		 trecords=sets:new(), % Typed records
  		 uses_types=false,    % Are there -spec or -type in the module
                   strict_ra=[],        % strict record accesses
                   checked_ra=[]        % successfully accessed records
                  }).
  
negative.code: %% erl_lint without errors.
  module(Fs0, Opts0) ->
      Opts = compiler_options(Fs0) ++ Opts0,
      St0 = #exprec{compile = Opts},
      {Fs,_St} = forms(Fs0, St0),
      Fs.
  
  compiler_options(Forms) ->
      lists:flatten([C || {attribute,_,compile,C} <- Forms]).
  
  forms([{attribute,_,record,{Name,Defs}}=Attr | Fs], St0) ->
      NDefs = normalise_fields(Defs),
      St = St0#exprec{records=dict:store(Name, NDefs, St0#exprec.records)},
      {Fs1, St1} = forms(Fs, St),
      {[Attr | Fs1], St1};
  forms([{attribute,L,import,Is} | Fs0], St0) ->
      St1 = import(Is, St0),
      {Fs,St2} = forms(Fs0, St1),
  