Warning:  Opening File: {ERINYES}<LISPMANUAL>CHAPRECORDPACKAGE.IM;9
  Warning:  EOF - top-level file: {ERINYES}<LISPMANUAL>CHAPRECORDPACKAGE.IM;9
  Warning:   ----------  Tags
  Warning:       RecordDeclarationTYPE?
  Warning:       RecordDeclarations
  Warning:       RecordPackage
  Warning:       RecordSubDeclarations
  Warning: