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