anchor.diff:           (diff (minus newpred pred))
            (dcpos (csize diff)))
       (declare (type fixnum pred newpred diff dcpos)
  -	     ;;(type uint8-array ehufco-ac ehufco-dc ehufsi-dc ehufsi-ac)
  +	     (type uint8-array ehufco-ac ehufco-dc ehufsi-dc ehufsi-ac)
                (dynamic-extent diff dcpos))
       ;; writing dc code first
       (write-bits (aref ehufco-dc dcpos) (aref ehufsi-dc dcpos) s)
  
positive.code: 
  (defun quantize (block q-table)
    (declare #.*optimize*
  	   (type fixnum-2d-array block)
  	   (type uint8-2d-array q-table))
    (quantize-block))
  
  
negative.code: 
  ;;; EXTEND procedure, as described in the standard
  (defun extend (v tt)
    (declare (type fixnum tt))
    "EXTEND procedure, as described in spec."
    (let ((vt (ash 2 (minus tt 2))))
      (if (< v vt)
  