(declaim (ftype (function (fixnum) fixnum) frobnicate))
(defun frobnicate (x)
  (+ x 42))