Warning:  
           WARNING: --- Note facility enabled --- Notes will be printed ---
 
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPINTRO.IM;2
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPINTRO.IM;2
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPFNS.IM;2
  Warning:  ADDTOFILES? has arglist: (NOASKSTR)
  Warning:        but manual says: (---)
  Warning:  UPDATEFILES has arglist: (PRLST FLST)
  Warning:        but manual says: (--- ---)
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPFNS.IM;2
  Warning:   ----------  Tags
  Warning:       MarkingChanges
  Warning:       NoticingFiles
  Warning:       RemakingFiles
  Warning:       UPDATEFILES
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPTYPES.IM;4
  Warning:  UNSAVEDEF has arglist: (NAME TYPE DEF)
  Warning:        but manual says: (NAME TYPE ---)
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPTYPES.IM;4
  Warning:   ----------  Tags
  Warning:       COPYDEF
  Warning:       FilePkgTypes
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPCOMS.IM;2
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPCOMS.IM;2
  Warning:   ----------  Tags
  Warning:       FileComs
  Warning:       FilePkgComs
  Warning:       FileVars
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPFILECOMS.IM;2
  Warning:  INFILECOMS? has arglist: (NAME TYPE COMS ONFILETYPE)
  Warning:        but manual says: (NAME TYPE COMS ---)
  Warning:  ADDTOFILE has arglist: (NAME TYPE FILE NEAR LISTNAME)
  Warning:        but manual says: (NAME TYPE FILE --- ---)
  Warning:  ADDTOCOMS has arglist: (COMS NAME TYPE NEAR LISTNAME)
  Warning:        but manual says: (COMS NAME TYPE --- ---)
  Warning:  MAKENEWCOM has arglist: (NAME TYPE LISTNAME FILE)
  Warning:        but manual says: (NAME TYPE --- ---)
  Warning:  FILECOMSLST has arglist: (FILE TYPE FLG)
  Warning:        but manual says: (FILE TYPE ---)
  Warning:  FILECOMS has arglist: (FILE X)
  Warning:        but manual says: (FILE TYPE)
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPFILECOMS.IM;2
  Warning:   ----------  Tags
  Warning:       ManipulatingFileComs
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>FPFORMAT.IM;2
  Warning:  PRINTFNS has arglist: (X PRETTYDEFLG)
  Warning:        but manual says: (X ---)
  Warning:  FILEDATE has arglist: (FILE CFLG)
  Warning:        but manual says: (FILE ---)
  Warning:  RPAQ has arglist: (RPAQX RPAQY)
  Warning:        but manual says: (VAR VALUE)
  Warning:  RPAQQ has arglist: (X Y)
  Warning:        but manual says: (VAR VALUE)
  Warning:  RPAQ? has arglist: (RPAQX RPAQY)
  Warning:        but manual says: (VAR VALUE)
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>FPFORMAT.IM;2
  Warning:   ----------  Tags
  Warning:       FileMaps
  Warning:  
  Warning:  EOF - top-level file: {ERIS}<LISPMANUAL>CHAPFP.IM;2
  Warning:   ----------  Tags
  Warning:       FilePkg
  Warning: