<> <> <> <> <> FileSegment: DEFINITIONS = { Span: TYPE = RECORD[ base: NAT, -- base page (0 = leader, if present) pages: NAT -- interval is [base .. base+pages) ]; nullSpan: Span = [0, 0]; Pages: TYPE = RECORD[ file: REF ANY, span: Span ]; nullPages: Pages = [NIL, nullSpan]; voidPages: Pages = [NIL, [1, 0]]; -- used as flag }.