Also, ``push_count`` may be more clearly called something like ``allocated_items``