GetArg doesn't allow omitting defaults, and leaving them in main.h is unclear.