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