(define test1 
  '(let ((m (module 
	     (define twice (lambda (f)
			     (lambda (x)
			       (f (f x))))))))
     (with (twice) m
	   (if ((twice not?) #f)
	       ((twice (lambda (x) (+ 1 x))) 4)
	       5))))

(define test2
  '(let ((m (module
	     (define a 4)
	     (define b 5)))
	 (b 6))
     (with (a) m
	   b)))