template <typename T> class start {
  typedef T Int;
public:
  T method(Int);
};
template class start<int>;