SETJMP_NAME      2211 src/comp.c     				  comp.int_type, STR (SETJMP_NAME),
SETJMP_NAME      2239 src/comp.c     				  comp.int_type, STR (SETJMP_NAME),