all: check

.PHONY: check
check:
	./check
