任意のテキストファイルを読み込み、データの最後尾（先頭も？）をゼロ埋めしてくれるようなpythonスクリプトを作ろうと思ったが、気力がない。老いた。てかそのあとの処理はigor上でするのだから、igorでゼロパディングするマクロを実装できればいいのだが…