 /* Need to check this early because mmapping happens before the * kernel is running. */ check_tmpexec(); 
void os_early_checks(void){	check_ptrace();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0f80bc85c587e8fdeecece4f294a47eca4922ea2/start_up.c/buggy/arch/um/os-Linux/start_up.c