{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// which are unique identifiers, are derived from their index
    /// used as the label text for each node. (The node *names*,
    /// in this array.)