minimal programs to test kernel specialization
source code for 5 projects for you minions to compile!