{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // Doing this slicing in this order ensures that the first bounds check suffices for
        (0..header.num_edges).map(move |_| {
            // all the others.