>>403
これほんとなん？
少なくともc11のドラフト(n1570)には
5.1.2.2.3のなかに
If the return type is not compatible with int, the
termination status returned to the host environment is unspecified.

って記述があってmainがint以外を返すことを想定した文があるし
mainを実装定義なやり方で定義していいとも書いてあるよね(5.1.2.2.1)