(bind-func zip_array_test:[!a,!b,!b]* -> zip_array_ptr_constraint
(lambda (a b)
(let ((r (alloc))
(num (num-of-elts a))
(i 0))
(dotimes (i num)
(aset! r (+ (* i 2) 0) (aref a i))
(aset! r (+ (* i 2) 1) (aref b i)))
r)))