__s_api_removeBadServers
(void) __s_api_removeBadServers(badSrvrs);
void __s_api_removeBadServers(char **server);