そう、そういうプログラムこそ、まんま上記のリダイレクトで
ファイル化すればいいわけだ。