{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
        let current_tv_index = self.load(self.cx.type_i32(), mcdc_temp, align);
        let align = self.tcx.data_layout.i32_align.abi;
        let new_tv_index = self.add(current_tv_index, cond_index);