{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
            if index == 2 || index == 3 {
        "__builtin_ia32_rndscaless_mask_round" | "__builtin_ia32_rndscalesd_mask_round" => {
                return true;