{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
        // 0..10, BB1 accounts for 11..20, and BB2 accounts for
        // basic block BB2. We know this because BB0 accounts for
        // 20...