3 * type "make" or "make opt" to compile the native executable
5 * type "make test" to validate the "grundlagen" in \lambda\delta "Version 3"
6 it generates log.txt with the grundlagen contents statistics
8 * type "make test-si-fast" to validate the grundlagen with minimum logging
10 * type "make clean" to remove the products of compilation