(define a 5)
(define a 4)