If we are converting source code in a language like C++ into machine code, at some point we must determine if the types used in certain operations are legal. For example, for a statement like "c = a + b;" we need to know that a and b are both variables that represent types that can be added together. This type of verification gets done within which phase of the translation process?