(let ((type ai (array int))) ())