Do we not need to reduce `argc`, here, too?