anchor.diff:  (defmethod result ((opdef operation-def))
     (op:type (slot-value opdef 'result_def)))
   
  -(defmethod op:params :before ((opdef operation-def) &rest x)
  -  (doseq (p (slot-value opdef 'params))
  -         (op:type p)))
  -
   (defmethod opdef-inparam-typecodes ((opdef operation-def))
     (loop for param in (op:params opdef)
         unless (eq (op:mode param) :param_out)
  
positive.code:     (if (eq :tk_void (typecode-kind result))
          real-params
        (cons result real-params))))
  
  (defmethod op:params :before ((opdef operation-def) &rest x)
    (declare (ignore x))
  
negative.code:   :slots ((type)))
  
  (defmethod op:members :before ((obj exception-def) &rest x)
    (declare (ignore x))
    (with-slots (members) obj
      (unless (or (zerop (length members))
                  (struct-get (elt members 0) :type))
  