{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
        // (It is likely not possible to actually have multiple pointers to the same allocation,
        // pointer to any given allocation.
        // so alternatively we could also check that and ICE if there are multiple such pointers.)