(declaim (special *s1* *s2* *s5* *s8*))

(defparameter *f*
  (lambda (a b c)
   (declare (ignorable a b c))
   (declare
    (optimize (safety 0) (speed 3)
     (compilation-speed 2) (space 2) (debug 0)))
   (multiple-value-bind (v8 v4 v1)
       (values (let* ((*s5* c)) -358479819378049234)
               c (sbit #*1000110 (min 6 (max 0 -298410413038724))))
     (let* ((*s2*
              (cons
               (restart-bind nil
                 (let* ((v2
                          (let ((v2 1)
                                (v7 0))
                            (if (>= v7 v2)
                                (if (<= v7 v2)
                                    0
                                    (sbit #*1
                                          (min 0
                                               (max
                                                0
                                                (setq v7 
                                                      (let ()
                                                        (common-lisp:handler-bind nil
                                                          (block
                                                              b4
                                                            (let ()
                                                              (let* ((*s5*
                                                                       (restart-bind nil
                                                                         v4)))
                                                                (declare
                                                                 (dynamic-extent
                                                                  *s5*))
                                                                a))))))))))
                                (decf v2
                                      (progv
                                          '(*s8*
                                            *s5*)
                                          (list
                                           0
                                           67108858)
                                        v1
                                        ))))))
                   (common-lisp:handler-bind nil
                     (shiftf v2
                             (setq v1
                                   (let ((*s1*
                                           (let ((v9 (setq c
                                                           (setf v8
                                                                 a)))
                                                 (v1 v4))
                                             (if (< v9 v1)
                                                 (if (>= v9 v1)
                                                     -1
                                                     v9)
                                                 a)
                                             )))
                                     (multiple-value-bind (v7
                                                           v10
                                                           v9
                                                           v8)
                                         (if (<=
                                              4179485287487
                                              b)
                                             (values b
                                                     6
                                                     a
                                                     (restart-bind nil 1663315457964976489))
                                             (values 0 0 0 0))
                                       0
                                       )))))))
               9007199254740990)))
       (progv
           '(*s5*)
           (list 1)
         0
         )))))

(defparameter *vals* '(1080336 273411715977455622 -1703786185))

;; (apply *f* *vals*) ==> memory fault