>>383
stdinからの入力なら、単にテキストファイルをリダイレクトするだけの
話では。