{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"new_provenance.push((offset,"}]}
            new_provenance.push((offset, ptr_prov));
            write_target_uint(endian, ptr_bytes, ptr_offset.bytes().into()).unwrap();
        }