そもそも、大域変数しか使えない言語で「変数をスタックに積むって」ありえるのか？

変数宣言なし＆局所変数なしの言語の場合、変数管理表と戻り先（jump先）管理表を使うのが普通だろ？