extern int $int$;

interface ihello
{
  in void hello(int i);

  behaviour
  {
    on hello: {}
  }
}

component calling_context
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    void f(int i){ w.world(i); }
    void g(){ w.world($123$); }
    on h.hello(i): { f(i); g(); }
  }
}

interface iworld
{
  in void world(int i);

  behaviour
  {
    on world: {}
  }
}