{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"body.basic_blocks_mut()[START_BLOCK].statements.insert("}]}
                body.basic_blocks_mut()[START_BLOCK].statements.insert(
                // _cor_ptr = _proxy.0.0 (... .0)
                    idx,