kmalloc_ok = 0; 
static void last_ditch_exit(int sig){        kmalloc_ok = 0;	signal(SIGINT, SIG_DFL);	signal(SIGTERM, SIG_DFL);	signal(SIGHUP, SIG_DFL);	uml_cleanup();	exit(1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/026549d28469f7d4ca7e5a4707f0d2dc4f2c164c/main.c/buggy/arch/um/kernel/main.c