rv = close(s->fd); if (debug) log_d("nuke_servers: close(%d) = %d", s->fd, rv); 
close(s->fd); 
static void nuke_servers(void){	struct server *s;	int rv;	s = servers;	while (s) {		rv = close(s->fd);		if (debug)			log_d("nuke_servers: close(%d) = %d", s->fd, rv);		s->fd = -1;		s = s->next;	}}
8520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8520/91bd81c1c4a89a528d0cd9263fbb8de04afd2ec2/core.c/buggy/src/core.c