Warning:  
           WARNING: --- Note facility enabled --- Notes will be printed ---
 
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>CONTROLFNS.IM;3
  Warning:  PROG2 is a (LAMBDA NOSPREAD) but manual def says it is a NIL
  Warning:  GO has arglist: (U)
  Warning:        but manual says: (X)
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>CONTROLFNS.IM;3
  Warning:  
  Warning:  
  Warning:  
  Warning:  Including file: {ERIS}<LISPMANUAL>CLISPWORDS.IM;1
  Warning:  List with INDENT4 spec -- de-implemented
  Warning:  EOF - included file: {ERIS}<LISPMANUAL>CLISPWORDS.IM;1
  Warning:   ----------  Tags
  Warning:       IFStatement
  Warning:       IterativeStatement
  Warning:       i.s.type
  Warning:  
  Warning:  EOF - top-level file: {ERIS}<LISPMANUAL>CHAPPRIMITIVEFNS.IM;1
  Warning: