(let ((var N 1) (var M 2) (var t 0)) (begin (:= t N) (:= N M) (:= M t)))
