AC_CHECK_HEADERS(setjmp.h)