// -*- c++ -*-

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