<<>> <> <> <> <> DIRECTORY; CirioNubAccessPrivate: CEDAR DEFINITIONS = BEGIN HandleBody: TYPE = MONITORED RECORD[live: BOOLEAN, version: CARD, allocatedItems: REF AllocatedItems, contents: REF ANY, target: REF ANY]; AllocatedItems: TYPE = RECORD[earlyFreeSlots: LIST OF CARD, firstLateFreeSlot: CARD, slots: SEQUENCE nSlots: CARDINAL OF REF AllocHandleBody]; <> AllocHandleBody: TYPE = RECORD[h: REF HandleBody, index: CARD, data: REF ANY]; END..