{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
/// some stretches with lots of 0s and 1s mixed in a way that causes trouble
/// `domain_size` with significant stretches of all zeros or all ones, and also
/// for `IntervalSet`.