verify: fib_spec.c
	tass verify fib_spec.c

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