{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
            // We are *not* reading a pointer.
        } else {
            // If we can just ignore provenance or there is none, that's easy.