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