Warning:  EOF - top-level file: {ERIS}<LISPMANUAL>LUDECL.IM;2
  Warning:   ----------  Tags
  Warning:       BINDFN
  Warning:       COVERS
  Warning:       DECL
  Warning:       DECLTYPE
  Warning:       DECLaggregate
  Warning:       DECLshared
  Warning:       DELCTYPE
  Warning:       EVERYFN
  Warning:       SUPERTYPES
  Warning: