動画の方は限界まで解像度上げたら、
歌ってる .vgm が 4MBytes ROMに入らないくらいデカくなってもうたのだけど、
なんとなく圧縮パラメーター変えてみたらあっさり 3.8MB → 2.8MB に減ってしまいました。
解像度上がった分処理落ちしてるから、只今再生ルーチンの最適化中。