(
define
(
+
a
b
)
(
%%cexp
(
int
int
->
int
)
"%0+%1"
a
b
))
(
define
plus
+
)
(
plus
1
(
plus
2
3
))