Answer from cs61c-fz (Sean Nyberg 16014383) for Question 1
The C preprocessor just looks through the C code and replaces all instances of words defined in #define statements to the C code they were defined as. Both the input and output of the C preprocessor is in C code. If it were a step in figure 3.21, it would be placed before any of the original steps.