<<>> <> <> <> <> CycleTest: CEDAR DEFINITIONS = { i: INT; }.