<<>> <> <> <> <<>> HeaderContents: PROGRAM 0 VERSION 0 = BEGIN DEPENDS UPON CHName (2) VERSION 0, MailTransport (17) VERSION 5, MailFormat (1516) VERSION 3; HeadingFromBodyPart: PROCEDURE [bits: STRING] RETURNS [length: CARDINAL, value: MailFormat.HeadingBodyPart] = 0; MessageIDFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.MessageID] = 1; OriginatorFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Originator] = 2; AuthorizingUsersFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.AuthorizingUsers] = 3; PrimaryRecipientsFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.PrimaryRecipients] = 4; CopyRecipientsFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.CopyRecipients] = 5; BlindCopyRecipientsFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.BlindCopyRecipients] = 6; InReplyToFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.InReplyTo] = 7; ObsoletesFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Obsoletes] = 8; CrossReferencesFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.CrossReferences] = 9; SubjectFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Subject] = 10; ExpiryDateFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.ExpiryDate] = 11; ReplyByFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.ReplyBy] = 12; ReplyToUsersFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.ReplyToUsers] = 13; ImportanceFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Importance] = 14; SensitivityFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Sensitivity] = 15; AutoforwardedFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Autoforwarded] = 16; ImmutableFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.Immutable] = 17; ReplyRequestFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.ReplyRequest] = 18; TextAnnotationFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.TextAnnotation] = 19; ForwardedHeadingsFromAttr: PROCEDURE [attr: MailFormat.Val] RETURNS [length: CARDINAL, value: MailFormat.ForwardedHeadings] = 20; END.