int main()
{
  set = 0;
  modified = true;

  while( modified) {
    modified = false;
    for( i=0; _lt_(i,9); i=_add_SxS_(i, 1)) {
      set = 1;
      modified = true;
    }
  }

  return( set);
}