void push_back(const T &t) { if(avail == limit) { grow(); } unchecked_append(t); }
void push_back (const T& val) { if (avail == limit) // get space if needed grow(); unchecked_append(val); // append the new element }