(define-top-level-value x 42)
(display x)
