Yes, that's correct - the main function just needs to start with "main...". I don't recall the reason for this, probably it was implemented this way to allow code modules to replace the main function. But I agree that this does not make much sense. We'll restrict the main function to "main" in the next update.