return create_pid_file(); 
create_pid_file(); return 0; 
static int __init make_umid_setup(void){	/* one function with the ordering we need ... */	make_uml_dir();	make_umid(printf);	return create_pid_file();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3a02d6c051cf3c214aab38e4330b4bcec5f6e3f8/umid.c/buggy/arch/um/kernel/umid.c