;; zip array if arrays if arrays are values
(define zip_array_val_constraint
(lambda (r a b)
(if (and (t:array? a)
(not (t:pointer? a)))
(list 213
(list (car a)
(* (cadr a) 2)
(caddr a))
a
b)
#f)))