{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"(\"sve2-sha3\","}]}
    ("sve2-sha3", &["sve2", "sha3"]),
    ("sve2-bitperm", &["sve2"]),
    ("sve2-sm4", &["sve2", "sm4"]),