static uint var_1 = 0u;

void main_1() {
  switch(42u) {
    default: {
      /* fallthrough */
      {
      }
      break;
    }
    case 40u: {
      break;
    }
  }
  return;
}

void main() {
  main_1();
  return;
}