interface ihello
{
  enum r {f};
  in r hello();

  behaviour
  {
    on hello: reply(r.f);
  }
}

component hellofunliteral
{
  provides ihello h;
  requires iworld w;

  behaviour
  {
    void f(ihello.r v){reply(v);}
    on h.hello(): {w.world(); f(ihello.r.f);}
  }
}

interface iworld
{
  in void world();

  behaviour
  {
    on world: {}
  }
}