interface ibool
{
  in bool hello();

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

component compliance_provides_bool
{
  provides ibool p;
  behaviour
  {
    on p.hello(): reply (false);
  }
}