siglongjmp(*fork_buf, 1); 
siglongjmp(*fork_buf, INIT_JMP_REMOVE_SIGSTACK); 
void thread_wait(void *sw, void *fb){	sigjmp_buf buf, **switch_buf = sw, *fork_buf;	*switch_buf = &buf;	fork_buf = fb;	if(sigsetjmp(buf, 1) == 0)		siglongjmp(*fork_buf, 1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/675dffc914412a25d33bbc8baea30681c565c9c1/process.c/clean/arch/um/kernel/skas/process.c