#include <iostream>
#include <vector>

class HelloWorld {
public:
  HelloWorld() { std::cout << "Hello world." << std::endl; }
  std::vector<int>  dummy;
  ClassDef(HelloWorld, 0);
};