(and (= (length message-args) (length method-args))
(every (lambda (message-arg method-arg)
(if (eq message-arg :ellipsis)
(and (= (length message-args) (length method-args))
(every (lambda (message-arg method-arg)
(if (eq message-arg :ellipsis)
(c-type-equal-p (argument-type message-arg)
(argument-type method-arg))))
message-args method-args)))
(c-type-equal-p (argument-type message-arg)
(argument-type method-arg))))
message-args method-args)))