(defvar one-hundred 100
  "The number one hundred.")