>>67
直訳すると
「それ（ main 関数）は int の戻り値型を持たなければならない、がそれ以外は型を実装定義とする」
なわけで、この記述では戻り値型が int でない可能性を含んでいない。