// -*- c++ -*-

interface HelloWorld {
  void hello();
  void hello_with_timeout(in long sec);
};