(defun multiply (x y)
  "Return the product of X and Y."
  (* x y))