(+ (let ((type t int) (var x t 1)) x) 1)