<<>> <> <> <> <> <> <<>> <.>> DIRECTORY UnixTypes ; UnixDirEnt: CEDAR DEFINITIONS ~ { <> <<>> DirEnt: TYPE ~ WORD16 MACHINE DEPENDENT RECORD [ offset(0): UnixTypes.Offset, fileNo(2): CARD32, recLen(4): CARD16, nameLen(5): CARD16, name(6): PACKED SEQUENCE COMPUTED CARD OF CHAR ]; MaxNameLen: CARD ~ 255; DirSiz: PROC [dp: POINTER TO DirEnt] RETURNS [INT] ~ TRUSTED INLINE { roundSize: CARD ¬ SIZE[DirEnt] + dp.nameLen+3; RETURN [roundSize - (roundSize MOD 4)]; }; }.