Pass argc by value, not by reference, since it isn't modified.