> The one interesting question in the proposal is whether "void main()" should be permitted. I would suggest it is better not to standardize "void main()". As you pointed out, it only adds complexity since "int main()" still has to be taught. Also, "void main()" is still magical, perhaps more so, because it returns EXIT_SUCCESS. Finally, it must be taught that it is unconventional and not supported by older compilers.