{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"(\"widekl\","}]}
    ("widekl", &["kl"]),
    ("vpclmulqdq", &["avx", "pclmulqdq"]),
    ("xop", &[/*"fma4", */ "avx", "sse4a"]),