(defun return-13 ()
  13)

(defun return-12 ()
  12)

(defun return-11 ()
  11)

(return-12)