{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"dest_ptrs:"}]}
    dest_ptrs: Option<Box<[(Size, Prov)]>>,
pub struct ProvenanceCopy<Prov> {
    dest_bytes: Option<Box<[(Size, Prov)]>>,