(defun hello (n)
  "Say hello to the user."
  (message "hello %d" n))