// -*- c++ -*-

interface HelloWorld {
  oneway void hello ();
};