for (i = 0, imax = shape.length; i < imax; ++i) {
        size *= shape[i].__int__();
      }