std::string get_str() const { return str; }
void show() const { Visible::show(); }
IntPair* clone() const {
IntPair* ip = new IntPair(*this);
return ip;
}
};