1 /* Adapted from: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c/pthread/fib_bench_true-unreach-call.c */
6 #include "libinterface.h"
8 /* volatile */ int i, j;
42 int user_main(int argc, char **argv)
49 thrd_create(&a, t1, NULL);
50 thrd_create(&b, t2, NULL);