まあ外部のI/Oは意図して/しないにかかわらず突然変わりうるという前提で作るのは我々の責任なので。

5:52 AM

変わったら潔くクラッシュするというのはそれはそれでアリ。