<> <> <> DIRECTORY PLAOps; IFUPLAFetchDecode: CEDAR DEFINITIONS = BEGIN -- Defaults must be zero FetchRdDecodeIn: TYPE = RECORD [ fetchRd: [0..16)_0]; FetchWtDecodeIn: TYPE = RECORD [fetching: BOOL _ FALSE, fetchWt: [0..4)_0]; FetchRdDecodeOut: TYPE = RECORD [fetchBufRdByte: [0..65535] _ 0]; FetchWtDecodeOut: TYPE = RECORD [fetchBufWtWd: [0..16) _ 0]; END.