{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"bcx.ins().return_(&[]);"}]}
        bcx.ins().return_(&[]);
        bcx.switch_to_block(block);
        bcx.seal_all_blocks();