verify: fib_spec.c
	tass verify fib_spec.c

compare: fib_spec.c fib_impl.c
	tass compare fib_spec.c fib_impl.c

bad: fib_spec.c fib_implBad.c
	tass compare fib_spec.c fib_implBad.c

