int helper_wait(int pid, int block) 
int helper_wait(int pid) 
int helper_wait(int pid, int block){	int ret;	CATCH_EINTR(ret = waitpid(pid, NULL, WNOHANG));	if(ret < 0){		printk("helper_wait : waitpid failed, errno = %d\n", errno);		return(-errno);	}	return(ret);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0d4579ed553e8bb29d580c08bfcabcb0826a89c3/helper.c/buggy/arch/um/kernel/helper.c