{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"dest_alloc.provenance_apply_copy(provenance);"}]}
        dest_alloc.provenance_apply_copy(provenance);
        // copy the provenance to the destination