(let ((var x1 1)) (+ x1 (let ((var x2 2)) 12345)))