> 2 - The parameters argc and argv and the strings pointed to by the argv array shall > be modifiable by the program, and retain their last-stored values between program > startup and program termination.
なんでargcとargvはmodifiableでなければならないとあえて明示してるのか? 「他で制限されてない限り、仮引数はmodifiableである」というのが正しければ、 "the strings pointed to by the argv array"についてのみ言明すればよかったはず。