Last edited by Curry, May 31, 1986 1:48:21 pm PDT

PLAOps;

BEGIN

-- Defaults must be zero

FetchRdDecodeIn: TYPE = RECORD [        fetchRd: [0..16)𡤀];

FetchWtDecodeIn: TYPE = RECORD [fetching: BOOL ← FALSE, fetchWt: [0..4)𡤀];

FetchRdDecodeOut: TYPE = RECORD [fetchBufRdByte: [0..65535] ← 0];

FetchWtDecodeOut: TYPE = RECORD [fetchBufWtWd:  [0..16)  ← 0];

END.