(define x 22)