{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
            // Multiple mentions of this constant will yield different values,
        } else {
            // so assign a different `disambiguator` to ensure they do not get the same `VnIndex`.