(bind-func zip_array_test:[!a,!b,!b]* -> zip_array_val_constraint
(lambda (aprime bprime)
(let ((a (ref aprime))
(b (ref bprime))
(r (salloc))
(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)))
(pref r 0))))