ありがとうございます、できました。
- str=IO.read(pth,siz,ofs+13)
+ str=hed[ofs+13,siz]
これでうまくいきました。
ただ、hedのサイズが32768より数バイト〜数百バイト長いのと、ofsの位置は元ファイルの先頭から数えたものより少なめに出ます。それでいてhedの中では目的の位置に合ってしまうのが不思議です。10進←→16進みたいな定量的な差ではないし、例えばhed中に登場する00や0D 0Aを無視してカウントアップしているのかなと思ったり。
まあ、hedを検索してindexを得たのだからhedの中で処理しろと言われればわからないでもないのですが……ともかくもありがとうございました。あとは何とかできそうです。