;; verify that let_reg works correctly
(define (+ a b)
(%%cexp (int int -> int) "%0+%1" a b))
(define (< a b)
(%%cexp (int int -> bool) "%0<%1" a b))
(define (min x y)
(if (< x y) x y))
(let ((x 3)
(y 5)
(m (min x y))
)
(+ m (+ x y)))