all:
	kysec_set -n exectl -v verified ./test_*
clean:
	rm ./res_*
