class C { public: virtual void do_thing(char); virtual void do_thing(int); };