memo

define-insn を改めて眺めて、 読み飛ばしていた$result に気づく。
これで define-insn が読めるようになったか?

(define-insn CONST 0 obj #f
  (let* ([val])
    (FETCH-OPERAND val)
    INCR-PC
    ($result val)))

num-params = 0
operand-type = obj
combination = #f

$result は Emits code to place the value of as a result. ということで
VAL0 をセットしたり スタックに push したりいくつかの挙動をまとめたもの、のようだ。