Files to demonstrate Terry Brown's suggestion for fixing the stdout not flushed problem does not work.