{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":")"}]}
        ) if get_version().0 < 20 => None,
            | "vector-packed-decimal-enhancement-3",
        // Enable the evex512 target feature if an avx512 target feature is enabled.