(let ((var v int 0) (type t int)) (:= v (+ v 1)))