<<>> <> <> <> <> DIRECTORY CrRPC, TimeP15V2, MailTransportP17V5, Rope; MailFormatP1516V3: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; Autoforwarded: TYPE ~ BOOLEAN; forwardedHeadings: CARD32 ~ 20; TextAnnotation: TYPE ~ ROPE; EnvelopeAtt: TYPE ~ REF EnvelopeAttObject; EnvelopeAttObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF MailTransportP17V5.EnvelopeItem ]; originator: CARD32 ~ 2; Originator: TYPE ~ MailTransportP17V5.RName; iso6937Note: CARD32 ~ 11; AuthorizingUsers: TYPE ~ RNameList; messageID: CARD32 ~ 1; Attribute: TYPE ~ RECORD [ type: CARD32, value: Val]; inReplyTo: CARD32 ~ 7; NestedIndex: TYPE ~ RECORD [ index: CARD16]; PrimaryRecipients: TYPE ~ RNameList; MessageID: TYPE ~ IPMessageID; InReplyTo: TYPE ~ IPMessageID; replyRequest: CARD32 ~ 18; ForwardedMessageInfo: TYPE ~ RECORD [ envelope: EnvelopeAtt, heading: HeadingAtt, associatedBodyParts: assocBP, indexOfParentHeading: IndexOfParentHeading]; BodyPartIndex: TYPE ~ CARD16; firstInterlispType: CARD32 ~ 4910; lastGWType: CARD32 ~ 4927; ReplyRequest: TYPE ~ RNameList; replyToUsers: CARD32 ~ 13; RName: TYPE ~ MailTransportP17V5.RName; otherNSFile: CARD32 ~ 4; crossReferences: CARD32 ~ 9; lastInterlispType: CARD32 ~ 4919; ReplyToUsers: TYPE ~ RNameList; headingBodyPart: CARD32 ~ 0; nsTextFile: CARD32 ~ 2; copyRecipients: CARD32 ~ 5; vpFolder: CARD32 ~ 1; firstGWType: CARD32 ~ 4920; HeadingAtt: TYPE ~ REF HeadingAttObject; HeadingAttObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF Attribute ]; obsoletes: CARD32 ~ 8; Obsoletes: TYPE ~ IPMessageIDList; expiryDate: CARD32 ~ 11; BodyPartType: TYPE ~ CARD32; ia5Note: CARD32 ~ 6; NullRecord: TYPE ~ RECORD [null: CARDINAL ¬ 0]; ExpiryDate: TYPE ~ CARD32; ForwardedHeadings: TYPE ~ REF ForwardedHeadingsObject; ForwardedHeadingsObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF ForwardedMessageInfo ]; IndexOfParentHeading: TYPE ~ REF IndexOfParentHeadingObject; IndexOfParentHeadingObject: TYPE ~ RECORD [ SELECT type: IndexOfParentHeadingKind FROM null => [null: NullRecord], nested => [nested: NestedIndex] ENDCASE ]; CopyRecipients: TYPE ~ RNameList; assocBP: TYPE ~ REF assocBPObject; assocBPObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF CARD16 ]; multinationalNote: CARD32 ~ 5; immutable: CARD32 ~ 17; g3Fax: CARD32 ~ 8; Val: TYPE ~ REF ValObject; ValObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF CARD16 ]; IPMessageIDList: TYPE ~ REF IPMessageIDListObject; IPMessageIDListObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF IPMessageID ]; Immutable: TYPE ~ RECORD [null: CARDINAL ¬ 0]; primaryRecipients: CARD32 ~ 4; CrossReferences: TYPE ~ IPMessageIDList; blindCopyRecipients: CARD32 ~ 6; AttributeType: TYPE ~ CARD32; sensitivity: CARD32 ~ 15; HeadingBodyPart: TYPE ~ REF HeadingBodyPartObject; HeadingBodyPartObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF Attribute ]; replyBy: CARD32 ~ 12; IndexOfParentHeadingKind: TYPE ~ MACHINE DEPENDENT { null(0), nested(1)}; ReplyBy: TYPE ~ CARD32; Date: TYPE ~ CARD32; Sensitivity: TYPE ~ MACHINE DEPENDENT { personal(0), private(1), companyConfidential(2)}; RNameList: TYPE ~ REF RNameListObject; RNameListObject: TYPE ~ MACHINE DEPENDENT RECORD [ body: PACKED SEQUENCE length: CARDINAL OF MailTransportP17V5.RName ]; IPMessageID: TYPE ~ RECORD [ originator: MailTransportP17V5.RName, uniqueString: ROPE]; interpress: CARD32 ~ 12; vpDocument: CARD32 ~ 3; pilotFile: CARD32 ~ 7; BlindCopyRecipients: TYPE ~ RNameList; teletex: CARD32 ~ 9; authorizingUsers: CARD32 ~ 3; subject: CARD32 ~ 10; autoforwarded: CARD32 ~ 16; Subject: TYPE ~ ROPE; importance: CARD32 ~ 14; textAnnotation: CARD32 ~ 19; Importance: TYPE ~ MACHINE DEPENDENT { low(0), normal(1), high(2)}; telex: CARD32 ~ 10; }...