anchor.diff:      (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))
  
positive.code: (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)
  
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))
  