(let ((var a int (- 0 7))) (begin (:= a (+ a 6)) (:= a (- a (- 0 (- 0 7))))))