{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"return"}]}
                return context
            if format!("{:?}", args[3]).ends_with("255") {
                    .get_target_builtin_function("__builtin_ia32_vfcmaddcsh_mask_round")