#include <stdio.h>

class C {
public:
  C() { printf("C(int)\n"); }
};

template <class T>
class Hola {
public:
  C i;
  Hola() {}
  virtual ~Hola() {}
};

int main() { Hola<int> h; return 0; }