<<>> <> <> <> <> <> <> <> UnixSysCallExtensions: CEDAR DEFINITIONS ~ { <> FDKind: TYPE ~ MACHINE DEPENDENT { std(0), -- file system, socket stream(1), -- System V stream error (CARD.LAST) }; GetDTableSize1: PROC [kind: FDKind] RETURNS [INT]; <> <<>> }. <> <>