<<>> <> <> <> NextTest: CEDAR DEFINITIONS = { j: INT; }.