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