push_back, pop_back, lazy array