Split out C pretty printing into a separate module.
Treat reading from a global variable as an effect.