Petitverse

ユーザ定義関数内からユーザ定義関数外のラベルにGOSUBすることは不可能なのでエラーとなっています。(SmileBASICは「(関数内に)ラベルが定義されてないよ！」と言いたいと考えればこのエラーメッセージに筋は通る)
@M2を呼び出している関数が一つだけなので、その関数のENDまでの区間に@M2を入れてしまうか、@M2をユーザ定義関数として実装し直すのが良いと思います

DEF内からDEF外に飛び出す形でGOTOやGOSUBを使うことはできません。
DEFの中で出てきたラベルはローカル扱いとなるので、
ユーザー定義関数STKANDBTN()の中に＠M2というラベルは無いので、「ラベルが存在しない」エラーになります。

あ、確かめたらGOTOもできませんね。ただ、スロット0でプログラムが実行されているのであればGOSUB"0:@M2"というのは効力を発揮するみたいです。

つまりは、ユーザ定義関数内からその関数外へGOTOやGOSUBができない仕様という説明は半分くらい間違いで、ユーザ定義関数内でラベルを読み出すとき、何もつけていなければユーザ定義関数内にあるラベルのみが効力を発揮するという説明が正しそうです。私が試した限りでは、一定の文字列をラベルの前に付けることでスロット内のグローバルなラベルにはアクセス可能になりました。
(結局、呼び出し側の工夫ができれば@M2を関数内に入れる必要性はなかったというところです)

DEF内にプログラム終了のENDは書けないので@M2をDEF内に突っ込むとエラーになりますね。
かといってGOSUB "0:@M2"と書くとDEF内で使ってる変数MがDEF外で使えないのでやっぱり動きませんね。

一番シンプルな解決策は300行目のBT=STKANDBTN()の後にGOSUB @M2を置くことですかね。
SX,SY,BTNをすべて保存しなくてもBTさえ保存しておけばいいのですから。
MODE==0のときBTの値をMEMORYに入れて、
MODE==1のときBTにMEMORY2の値を戻せばいいのではないでしょうか。

GOSUB"0:@M2"の方法は、あらかじめ初めのうちにMに初期値を入れてしまえばグローバル扱いになってほぼ手を加えずにそのまま動くので良いと思います。あとSX、SY、BTNもグローバルにする必要があるので最初に0を代入しちゃうと良いでしょう。コードを読む限りはスティックの状態も含めて、タイトルなども含めたゲーム全体の状態を記録したいという意図が感じられたので僕はそういう解釈です。
Naさんの方法をとるとジャンプゲーム本体でのボタン入力データのみ保存したり取り出したりできるようになります。ただしスティック動作は失います。

どんな解釈にせよ、ユーザ定義関数内のローカル・それ以外のグローバルという概念・感覚をなんとなく会得すると、今実行してみて散見する数々のエラーが一気に解消できそうに思います