Warning:  Opening File: {ERINYES}<LISPMANUAL>CHAPFILES.IM;4
  Warning:  
  Warning:  
  Warning:  Opening File: {ERINYES}<LISPMANUAL>FILESTREAMS.IM;5
  Warning:  EOF - included file: {ERINYES}<LISPMANUAL>FILESTREAMS.IM;5
  Warning:  
  Warning:  
  Warning:  
  Warning:  Opening File: {ERINYES}<LISPMANUAL>FILENAMES.IM;3
  Warning:  EOF - included file: {ERINYES}<LISPMANUAL>FILENAMES.IM;3
  Warning:   ----------  Tags
  Warning:       QuotingFileNames
  Warning:       StreamFileNames
  Warning:  
  Warning:  
  Warning:  
  Warning:  Opening File: {ERINYES}<LISPMANUAL>FILEOTHER.IM;5
  Warning:  EOF - included file: {ERINYES}<LISPMANUAL>FILEOTHER.IM;5
  Warning:  
  Warning:  
  Warning:  
  Warning:  Opening File: {ERINYES}<LISPMANUAL>DIRECTORIES.IM;7
  Warning:  EOF - included file: {ERINYES}<LISPMANUAL>DIRECTORIES.IM;7
  Warning:  
  Warning:  
  Warning:  
  Warning:  Opening File: {ERINYES}<LISPMANUAL>FILESERVERS.IM;5
  Warning:  EOF - included file: {ERINYES}<LISPMANUAL>FILESERVERS.IM;5
  Warning:  
  Warning:  EOF - top-level file: {ERINYES}<LISPMANUAL>CHAPFILES.IM;4
  Warning: