int main(int, char*[])
{ 
  int i;
  for(int i=0; i < 1; ++i) ;
  return 0;
}