(define x 23)