// -*- c++ -*-

interface HelloWorld {
  oneway void hello();
};