还存在一些用于基本函数的指令，比如car、cdr、列表构造、整数加法、I/O等。它们都从堆栈得到任何必须的实际参数。 ISWIM Krivine机（英语：Krivine machine） Landin, P. J. The Mechanical Evaluation of Expressions (PDF)