interface ihello
{
  in void hello();
  out void world();

  behaviour
  {
    on hello: world;
  }
}

component hello_function_local
{
  provides ihello h;

  behaviour
  {
    bool b = false;

    bool f (bool bp)
      {
        bool bf = bp;
        return bf;
      }
    on h.hello():
      {
        {
          bool l = true;
          b = f(l);
        }
        h.world ();
      }
  }
}