CHOOSE_MODE(kmalloc_ok = 0, (void) 0); 
kmalloc_ok = 0; 
static void last_ditch_exit(int sig){	CHOOSE_MODE(kmalloc_ok = 0, (void) 0);	signal(SIGINT, SIG_DFL);	signal(SIGTERM, SIG_DFL);	signal(SIGHUP, SIG_DFL);	uml_cleanup();	exit(1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6770cb61ff6d557613a8382b28f9b0a919fb112f/main.c/clean/arch/um/kernel/main.c