mkdir -p cov && cd cov &&
rm *
gcc --coverage -g -O0 ../boot.c
./a.out < ../boot.c > /dev/null
gcov a-boot.c
python3 -m gcovr --html-details --html-theme github.green -o report.html -r ..
