free_pollindex(s->pollindex); 
static void close_servers(void){	struct server *s;	s = servers;	while (s) {		if (s->fd != -1) {			close(s->fd);			s->fd = -1;		}		s = s->next;	}}
8520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8520/10a77a89c5dff40242f0bb7d2f05f4c9b47cfc86/core.c/buggy/src/core.c