Get the number of columns in the s32v array.
Logical definition:
Function: s32vl-ncols
(defun s32vl-ncols (s32vl-arr2) (declare (xargs :guard (s32vl-arr2-wfp s32vl-arr2))) (stobjs::2darr->ncols s32vl-arr2))
