<> <> <> <> <<>> CRIO: CEDAR DEFINITIONS = BEGIN Init: PROC [bigChip: BOOLEAN]; <> Test: PROC [on: BOOLEAN]; <> AccessRefresh: PROC [on: BOOLEAN]; <> EmergencyRefresh: PROC [on: BOOLEAN]; <> CRRead: PROC [address: [0..2048)] RETURNS [data: LONG CARDINAL]; <> CRWrite: PROC [address: [0..2048), data: LONG CARDINAL]; <> END.