>>89
returnとreturn *labelに本質的な違いはないよ
return = スタックからPOPして、POPした内容先(戻り先に)にジャンプ
return *label = スタックからPOPして（空POPして)、ラベル先にジャンプ

スタックがアンダーフロー以外でエラーを出さないのは当たり前だし
スタックいじると分かりにくい不具合の温床になりやすのも、ありがちなことだよ
Nスク側の問題とは言わないほうがいいと思うよ