{"ast_node_type":"variable","tokens":[{"end":37,"kind":"keyword","start":0,"text":"let"}]}
        let mut dest_ptrs_box = None;
        // Only makes sense if we are copying at least one pointer worth of bytes.
        if src.size >= ptr_size {