(define a 5)
(define a 4)
(eval a)