Document why preprocessing with GCC instead of Keil.
Turn argument conversion into multi-command argument conversion to prepare for driver.