int
main()
{
  int c;
  c = 0;
  do
    ;
  while (0);
  return c;
}