Starting the program is almost entirely implementation-defined in freestanding environments (i.e. those without a host OS), so I don't think your example works.

Of course, there are reasons not to use "void main" - for one, a strict C99 compiler will not compile it.