SETJMP            804 gc/os_dep.c    	if (SETJMP(GC_jmp_buf) == 0) {
SETJMP           1381 gc/os_dep.c        if (SETJMP(GC_jmp_buf) == 0) {
SETJMP           1415 gc/os_dep.c        if (SETJMP(GC_jmp_buf) == 0) {