check-counting: python3 test-bonus.py test counting check-counting-bonus: python3 test-bonus.py test counting --no-global-config check: check-counting check-counting-bonus clean: rm -rf test-*/*.out_produced