(let ((proc (lambda rest0
              (let ((rest rest0)) ;; This triggers the bug
                (if (pair? rest)
                    (car rest)
                    #f)))))
  (proc 1 6))