(
lambda
(
x
)
(
*
x x
))
(
define
s1
(
lambda
(
x y
)
(
*
x y
)))