(var abc 123) (= 356 (with-vars [abc 456] (- abc 100)))