The first part of the compilation principle and practice