(define * (x)
      x)