<> <> <> DIRECTORY Core, ICTest; TestCable: CEDAR DEFINITIONS = BEGIN Init: PROC [groups: LIST OF ICTest.Group, assignments: LIST OF ICTest.Assignments, clockA, clockB: ICTest.ROPE _ NIL]; TestCable: ICTest.TestProc END.