<> <> DIRECTORY NextTest, IO; CycleTest: CEDAR DEFINITIONS = { i: INT; }.