return 0; 
return; 
static int __init create_pid_file(void){	char file[strlen(uml_dir) + UMID_LEN + sizeof("/pid\0")];	char pid[sizeof("nnnnn\0")];	int fd, n;	if(umid_file_name("pid", file, sizeof(file))) return 0;	fd = os_open_file(file, of_create(of_excl(of_rdwr(OPENFLAGS()))), 			  0644);	if(fd < 0){		printf("Open of machine pid file \"%s\" failed: %s\n",		       file, strerror(-fd));		return 0;	}	sprintf(pid, "%d\n", os_getpid());	n = os_write_file(fd, pid, strlen(pid));	if(n != strlen(pid))		printf("Write of pid file failed - err = %d\n", -n);	os_close_file(fd);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3a02d6c051cf3c214aab38e4330b4bcec5f6e3f8/umid.c/buggy/arch/um/kernel/umid.c