enum glob {g};

interface ihello
{
  in glob hello();

  behaviour
  {
    on hello: reply (glob.g);
  }
}

component hello_global
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    on h.hello():
      {
        w.world();
        reply (glob.g);
      }
  }
}

interface iworld
{
  in void world();

  behaviour
  {
    on world: {}
  }
}