{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"(\"avx512vbmi2\","}]}
    ("avx512vbmi2", &["avx512bw"]),
    ("avx512vbmi", &["avx512bw"]),
    ("avx512vl", &["avx512f"]),