(let ((var a int 5)) (let ((var b int 6)) (:= c (+ a b))))