C2 Compiler Concepts