{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // Optimization: process buckets just once, at the start of the
    for w in (PreorderIndex::new(1)..PreorderIndex::new(reachable_vertices)).rev() {
        // iteration. Do not explicitly empty the bucket (even though it will