<> <> <> <> <<>> DIRECTORY PLAOps; MCRequestControl: CEDAR DEFINITIONS = BEGIN RequestControlIn: TYPE = RECORD [ in0: [0..16) _ 0, in1: [0..16) _ 0, in2: [0..16) _ 0, in3: [0..16) _ 0, in4: [0..16) _ 0 ]; RequestControlOut: TYPE = RECORD [out: [0..1024) _ 0]; END.