{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
            let bbs = &mut body.basic_blocks_mut();
            // replace terminator with a switchInt that switches on the integer directly
            let bb = &mut bbs[opt.bb_idx];