<<>> <> <> <> <> <> <> <<>> DIRECTORY UnixTypes ; UnixSocket: CEDAR DEFINITIONS ~ { Flag: TYPE ~ UnixTypes.Flag; }. <<>>