{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
        // pointer to any given allocation.
        // derived from a shared reference. Therefore it would be bad if we only checked the first
        // (It is likely not possible to actually have multiple pointers to the same allocation,