I would argue that there's something fundementally wrong with it *in
a Unix-like environment*, which is that the entire system is assuming
that a process exits with some kind of status, and declaring main with
no return type strikes me as dishonest.

Plan 9 doesn't use integer return statii, and doesn't have an exit(),
either.  (It uses "exits(char *)".)

In a unix-like environment, as Unix stands, IMHO, declaring main to
return void is actually inherently wrong, just like I would consider
it dodgy to have something like "int exit(int)".  The semantics
are all wrong.

-s