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