if(fd != -1){ 
if(thread > 0){ 
void register_winch(int fd, struct tty_struct *tty){	int pid, thread, thread_fd;	int count;	char c = 1;	if(!isatty(fd))		return;	pid = tcgetpgrp(fd);	if(!CHOOSE_MODE_PROC(is_tracer_winch, is_skas_winch, pid, fd,			     tty) && (pid == -1)){		thread = winch_tramp(fd, tty, &thread_fd);		if(fd != -1){			register_winch_irq(thread_fd, fd, thread, tty);			count = os_write_file(thread_fd, &c, sizeof(c));			if(count != sizeof(c))				printk("register_winch : failed to write "				       "synchronization byte, err = %d\n",					-count);		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/da00d9a5466558ccd9e7b7d04b13d7cb9160c876/chan_user.c/buggy/arch/um/drivers/chan_user.c