<> <> <> <> <<>> DIRECTORY DESFace USING [ Key ]; IV: CEDAR DEFINITIONS = { KeyTable: TYPE = REF KeyTableBody; KeyTableBody: TYPE = RECORD [ s: SEQUENCE size: [0..20B] OF DESFace.Key ]; }. <> <> <> <<>>