int
main ()
{
  int c = 0;
  switch (c)
    {
    case 0:
      int i = 3;
      return 0;
    }
  return 1;
}