Yes, that's right... however it was initially naked printfs -> verbose before Walter chipped in and said:

> Wouldn't it be simpler to just write the output to:
> ```fprintf(global.stdmsg, ....);```
> and set global.stdmsg appropriately?

Shortly afterwards I conceded and dropped mars.c from gdc instead.  Then updated the pull from verbose -> fprintf(global.stdmsg)