void mainがあり得ない理屈は
たまたま規格がそうなってたから
とくに深い理由は無い