{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"(\"avx512bitalg\","}]}
    ("avx512bitalg", &["avx512bw"]),
    ("avx512bf16", &["avx512bw"]),
    ("avx512bw", &["avx512f"]),