siglongjmp(initial_jmpbuf, 3); 
siglongjmp(initial_jmpbuf, INIT_JMP_HALT); 
void halt_skas(void){	block_signals();	siglongjmp(initial_jmpbuf, 3);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/675dffc914412a25d33bbc8baea30681c565c9c1/process.c/clean/arch/um/kernel/skas/process.c