compilation principle (2)