{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"\"sup_region's"}]}
            "sup_region's value = {:?} universal={:?}",
        debug!(
            self.region_value_str(sup_region),