(var a)
(var b)
(a 1)
(b 1)
(write (+ a b))
(newline)