FileInfoFromHeader: PROC [ h: Header ] RETURNS [ info: FileInfo ];

HeaderFromFileInfo: PROC[ info: FileInfo ] RETURNS[ h: Header ];

Checksum: PUBLIC PROC [ h: Header ] RETURNS [ chksum: CARD32 ← 0 ];

OtherChecksum: PUBLIC PROC [ h: Header ] RETURNS [ chksum: CARD32 ← 0 ];

GetHeader: PUBLIC PROC [ s: IO.STREAM ] RETURNS [ h: Header ];

EmptyHeader: PUBLIC PROC [ h: Header ] RETURNS [ yes: BOOL ← FALSE ];

CardFromOctal8: PROC [ o: OCTAL8 ] RETURNS [ c: CARD32 ];

CardFromOctal12: PROC [ o: OCTAL12 ] RETURNS [ c: CARD32 ];

GMTFromOctal12: PUBLIC PROC [ o: OCTAL12 ] RETURNS [ time: BasicTime.GMT ];

RopeFromName: PROC [ name: NAME ] RETURNS [ r: ROPE ];

Octal8FromCard: PROC [ c: CARD32 ] RETURNS[ o8: OCTAL8 ];

Octal12FromCard: PROC [ c: CARD32 ] RETURNS [ o12: OCTAL12 ];

NameFromRope: PROC [ r: ROPE ] RETURNS[ n: NAME ];