Is there a guarantee of stdout auto-flush before exit? How does it work? Is there a guarantee of stdout auto-flush before exit? How does it work? c c