(define (factorial x)
  (if (= x 0)
      1
      (* x (factorial (- x 1)))))