#include <cassert>

class T1
{
public:
  // a template member function
  template <typename T2>
  T2 f(T2 x)
  {
    t=true;
    return x;
  }

  void g()
  {
    assert(2==f<int>(2));
  }

  void h()
  {
    assert(3==f<int>(3));
  }


  bool t;
  T1():t(false) { }
};

int main()
{
  T1 x;

  x.g();
  assert(1==x.f<int>(1));
  assert(true==x.f<bool>(true));
  assert(x.t==true);
  x.h();
}
