void push(const value_type& x)
{
c.push_back(x);
std::push_heap(c.begin(), c.end(), static_cast<_Compare&>(*this));
}
void push_back(const value_type& x)
{
c.push_back(x);
}
void push(const value_type& __x) {
c.push_back(__x);
push_heap(c.begin(), c.end(), comp);
}
