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

  behaviour
  {
    on hello: illegal;
    on cruel: world;
  }
}

component compliance_provides_illegal4
{
  provides ihello h;
  requires ihello w;

  behaviour
  {
    on h.hello (): w.cruel ();
    on h.cruel (): w.cruel ();
    on w.world (): illegal;
  }
}