GC_jmp_buf        758 gc/os_dep.c        /* static */ JMP_BUF GC_jmp_buf;
GC_jmp_buf        764 gc/os_dep.c            LONGJMP(GC_jmp_buf, 1);
GC_jmp_buf        804 gc/os_dep.c    	if (SETJMP(GC_jmp_buf) == 0) {
GC_jmp_buf       1381 gc/os_dep.c        if (SETJMP(GC_jmp_buf) == 0) {
GC_jmp_buf       1415 gc/os_dep.c        if (SETJMP(GC_jmp_buf) == 0) {