{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
        // derived from a shared reference. Therefore it would be bad if we only checked the first
        // ensure that when there are multiple pointers to the same allocation, they are *all*
        // pointer to any given allocation.