{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"visited_blocks:"}]}
            visited_blocks: DenseBitSet::new_empty(body.basic_blocks.len()),
            worklist: vec![START_BLOCK],
            locals: IndexVec::from_elem_n(Value::Uninit, body.local_decls.len()),