なんだそりゃ!

上記に「WAV の再生ができない」と書いたが,実は完成していた。変数名を書き換えたとき,1箇所だけ換えるのを忘れて,それがバッファ・サイズを制御するものだった。サイズがゼロとしてバッファが allocation されているという間抜けな理由。そのために2日も悩んだのか,と思うと,泣きそうである。
というわけで,上記の WaveIF は不要となった。
次の作業は mmioSeek() の仕様を理解すること,および WAV の入力を処理するプログラムを書くこと。