In the process, all preprocessor directives are carried out, macro expansions are performed, and comments are removed.

It's just a matter of deciding which features are implemented more easily and more clearly using macro expansions versus regular code.

We are taking advantage of the fact that after a macro expansion occurs, the result is then macro-expanded again, continuing until no more expansions take place.