{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"bx.lifetime_end(tmp,"}]}
                    bx.lifetime_end(tmp, size);
                for &(tmp, size) in lifetime_ends_after_call {
                }