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