extern int $int$;

interface ihello
{
  in void hello(int i);

  behaviour
  {
    on hello: {}
  }
}

component hellofundata
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    void func(int i, int j, bool b) {
      int k = i;
    }

    on h.hello(i): {
      int l = $0$;
      func($0$, l, true);
      bool b = w.world(i);
    }
  }
}

interface iworld
{
  in bool world(int i);

  behaviour
  {
    on world: reply(true);
  }
}