(
let
((
x
7
)
(
y
3
))
(
%+
x
y
))