{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// alphanumeric or underscore characters, not beginning with a
    /// identifier format: it must be a non-empty string made up of
    /// digit (i.e., the regular expression `[a-zA-Z_][a-zA-Z_0-9]*`).