$ find . -name "*.c" -exec grep -H "setjmp" {} \;
./src/model/val_to_term.c:  t = setjmp(convert->env);
./src/model/term_to_val.c:  v = setjmp(convert->env);
./src/model/model_eval.c:  v = setjmp(eval->env);
./src/model/literal_collector.c:  u = setjmp(collect->env);
./src/frontend/smt1/smt_parser.c:#include <setjmp.h>
./src/frontend/smt1/smt_parser.c:  exception = setjmp(tstack->env);
./src/frontend/smt2/smt2_parser.c:#include <setjmp.h>
./src/frontend/smt2/smt2_parser.c:  exception = setjmp(tstack->env);
./src/frontend/yices/yices_parser.c:#include <setjmp.h>
./src/frontend/yices/yices_parser.c:  exception = setjmp(tstack->env);
./src/context/symmetry_breaking.c:  code = setjmp(s->env);
./src/context/context.c:  code = setjmp(ctx->env);
./src/context/context.c:  code = setjmp(ctx->env);
./src/context/context.c:  code = setjmp(ctx->env);
./src/terms/full_subst.c:  code = setjmp(subst->env);
./src/terms/term_substitution.c:  code = setjmp(subst->env);
./tests/unit/test_term_stack.c:#include <setjmp.h>
./tests/unit/test_term_stack.c:  exception = setjmp(stack.env);
./tests/unit/test_api14.c:#include <setjmp.h>
./tests/unit/test_api14.c: * Out-of-memory handling using setjmp/longjmp
./tests/unit/test_api14.c:  if (setjmp(buffer) == 0) {
./tests/unit/test_longjmp.c:#include <setjmp.h>
./tests/unit/test_longjmp.c:  printf("calling setjmp\n\n");
./tests/unit/test_longjmp.c:  code = setjmp(env);
./tests/unit/test_longjmp.c:  printf("calling setjmp\n\n");
./tests/unit/test_longjmp.c:  code = setjmp(env);