.PHONY: check

SPLINT = splint -exportlocal
 
check:
	$(SPLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7