{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"range_1:"}]}
                    range_1: make_uint_range('\u{0000}' as u128, '\u{D7FF}' as u128),
                ConstructorSet::Integers {
                    range_2: Some(make_uint_range('\u{E000}' as u128, '\u{10FFFF}' as u128)),