// -*- c++ -*-

interface HelloWorld {
  void hello();
  oneway void oneway_hello();
};