{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"ptrs.push((offset.bytes_usize()"}]}
        ptrs.push((offset.bytes_usize() - alloc_range.start.bytes_usize(), prov.alloc_id()));
    {
    }