int main(int argc, char* [])
{
  int i = 3;
  switch (argc) {
    case 1:
      i = 0;
      __attribute__((fallthrough));
    default:
      return i;
  }
}