all:
	cc -O -c example_int.c
	clm -l example_int.o verify -o verify

run:
	./verify