template <typename T>
class basic_string;

typedef basic_string<char> string;

template <typename T>
class basic_string
{
 public:
  string Frob ();

  basic_string (int);
};