(declare (usual-integrations))

(define (test x)
  (define (Y f)
    (f (lambda (x) ((Y f) x))))
  ((Y (lambda (factorial)
	(lambda (n)
	  (if (< n 2)
	      1
	      (* n (factorial (- n 1)))))))
   x))