interface iint
{
  subint int {0..1};
  in int hello();

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

component compliance_provides_int
{
  provides iint p;
  behaviour
  {
    on p.hello(): reply (0);
  }
}