all:
.PHONY: check install clean distclean
install: check
clean:
distclean: clean
check:
	./runtest.pl