(define a 10) (define (get-a-1) a)