-- Statistics.config; edited by Bruce on July 8, 1980  1:56 PM

Statistics: CONFIGURATION
  IMPORTS DirectoryDefs, DisplayDefs, MiscDefs, IODefs, SegmentDefs,
    StreamDefs, String, Storage, TimeDefs
  CONTROL Stats =

  BEGIN
  Stats;
  FastDir;
  END...