int main(int argc, char **argv)
{
  (void) argc;
  (void) argv;
  int i=0;
  for(;;)i++;
  return 0;
}