(defun frobnicate (x)
  (declare (type fixnum x))
  (the fixnum (+ x 128)))