{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"('∗',"}]}
    ('∗', "Asterisk Operator", "*"),
    ('٭', "Arabic Five Pointed Star", "*"),
    ('𐌟', "Old Italic Letter Ess", "*"),