<> <> <<>> DIRECTORY IO USING [STREAM] ; ArpaTCPExtras: CEDAR DEFINITIONS ~ { <> Stats: TYPE ~ RECORD [ rttMsec: CARD, rexmits: CARD, duplicates: CARD ]; GetStats: PROC [s: IO.STREAM] RETURNS [stats: Stats]; }.