interface ihello
{
  subint Int {0..1};
  in Int hello();

  behaviour
  {
    on hello: reply (1);
  }
}

component hello_int
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    ihello.Int i = 0;
    on h.hello():
    {
      i = w.world();
      reply (i);
    }
  }
}

interface iworld
{
  in ihello.Int world();

  behaviour
  {
    on world: {
      ihello.Int i = 0;
      reply (i+1);
    }
  }
}