pub fn dyadic_ranges(range: Range<u64>) -> impl Iterator<Item = Range<u64>>
Maximal aligned power-of-two intervals.