close()明示したらflushされるけどRAIIに任せたらflushされずに尻切れトンボになる、
ってのもどうなんだろうな？