+ /* --- Decide on a new size --- *
+ *
+ * There's a minimum possible size for the array which is used if it's
+ * currently completely empty. Otherwise I choose the smallest power of
+ * two which is big enough, starting at double the current size.
+ */
+