{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"write_target_uint(endian,"}]}
            write_target_uint(endian, ptr_bytes, ptr_offset.bytes().into()).unwrap();
                adjust_ptr(Pointer::new(alloc_id, Size::from_bytes(bits)))?.into_raw_parts();
            new_provenance.push((offset, ptr_prov));