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