Seems related to this thread, which proposed allowing main to have other return types for a totally different reason.