Fix Issue 6423 - Garbage is returned from `void main()`
Merge pull request #3938 from yebblies/issue6423

Issue 6423 - Garbage is returned from `void main()`