
div0: div0.c
	tass verify -errorBound=10 div0.c
