SECDマシン
クロージャ(関数と現在の環境のペア)を構築し、それをスタックにプッシュする。
ap: クロージャと引数(の値)リストをスタックからポップする。クロージャを現在の環境として設定し、引数に適用する。引数リストを環境に設定し、スタックをクリアしてCレジスタにクロージャ内にある関数ポインタをセットする。以前のSとEレジスタの値、Cの次の値はダンプにセーブしておく。
ret: スタックからリターン値をポップし、ダンプからS、E、Cをリストアする。そしてリターン値を新たな現在のスタックにプッシュする。
dum: ダミーを環境リストの先頭にプッシュする。ダミーとは空リストである。
rap: ap命令と類似しているが、ダミー環境と組み合わせて、再帰関数を実現するのに使われる。
car、cdr、リスト構築、整数の加算、入出力といった基本的な関数も命令として存在する。これらは必要な引数をスタックから得る。