// -*- c++ -*-

interface HelloWorld {
  oneway void hello () context("a*");
};