(examples-for module
  ("it overrides external namespace internally"
   (with (x (fn (n) "the old outside x ~n")
          y (fn (n) "the old outside y ~n"))
     (module foo
       (def x (n) (* 2 n))
       (def y (n) (+ 2 n))
       (export bar (a b) (* (x a) (y b))))
    (list (foo/bar 3 5) (x 43) (y 44)))
   (42 "the old outside x 43" "the old outside y 44")))