interface ihello
{
  in bool hello();

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

component hello_true_guard
{
  provides ihello h;
  behaviour
  {
    [true] on h.hello(): reply (true);
  }
}