ARY_SHARED_NUM    179 array.c        	int num = ARY_SHARED_NUM(shared) - 1;
ARY_SHARED_NUM    207 array.c            int num = ARY_SHARED_NUM(shared);