(arg-types (alien-fun-type-arg-types type))
(result-type (alien-fun-type-result-type type)))
(assert (= (length arg-types) (length args)))
(arg-types (alien-fun-type-arg-types type))
(result-type (alien-fun-type-result-type type)))
(assert (= (length arg-types) (length args)))