(declaim (optimize speed (safety 1)))

(defun example/add (a b)
  (declare ((unsigned-byte 16) a b))
  (+ a b))
          
(describe #'example/add)
(disassemble #'example/add)