void push(int x) { data_.push_front(x); mins_.push_front(mins_._empty() ? x : std::min(x, mins_.front())); }