{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":".get_target_builtin_function(\"__builtin_ia32_vfmaddcsh_mask_round\")"}]}
                    .get_target_builtin_function("__builtin_ia32_vfmaddcsh_mask_round")
                return context
                    .get_address(None);