*** 125,135 **** { "SUM" }, { "BLOCK_BEGIN" }, { "BLOCK_END" }, { "INTEGER_MAX_VALUE" }, { "CYCLIC_1" }, ! { "CYCLIC_2" }, ! { "SUP" }, ! { "UNUSED" } }; } } --- 125,133 ---- { "SUM" }, { "BLOCK_BEGIN" }, { "BLOCK_END" }, { "INTEGER_MAX_VALUE" }, { "CYCLIC_1" }, ! { "CYCLIC_2" } }; } }