main(int,char * [])1 int main(int, char* [])
2 {
3   int i;
4   for (int i = 0; i < 1; ++i)
5     ;
6   (void)i;
7   return 0;
8 }
9