first optimization tests are successful - a lot of work left to optimize linking order (purity declaration and verification)