<<>> <> <> <> <> <<>> DIRECTORY Xl USING [Connection, SequenceNo]; XlSpeedHacks: CEDAR DEFINITIONS SHARES Xl ~ BEGIN OPEN Xl; <<>> UsedSequenceNumber: PROC [c: Connection] RETURNS [SequenceNo] = INLINE { <> RETURN [c.sequenceNumber]; }; <<>> ReportedSequenceNumber: PROC [c: Connection] RETURNS [SequenceNo]; <> InitiateRoundTrip: PROC [c: Connection, flush: BOOL ¬ TRUE] RETURNS [SequenceNo]; <> <> WaitInitiatedRange: PROC [c: Connection, s: SequenceNo, flush: BOOL ¬ FALSE]; <> <> <> <> END.