>>429
> 移植性をもたせることと int main(void) の表記とどのような関係があるのでしょうか？

main() の引数リストについて移植性を保証できる表記を定めることに意味があるということ。

スタートアップからの呼び出し方法が自由だからといって main() の引数リストについて
何の規定もおかないでいると、移植性を保証することができない。

そして引数無しと２引数のものが移植性を保証できるものとして選ばれた。引数無しの
ものの記法については >413 のとおり。