https://stackoverflow.com/questions/10019456/usage-of-sys-stdout-flush-method
Fri 03 Nov 2017 11:40:23 AM CET - permalink - - https://stackoverflow.com/questions/10019456/usage-of-sys-stdout-flush-method