static uint var_1 = 0u;

void main_1() {
  if (false) {
    switch(42u) {
      case 20u: {
        break;
      }
      default: {
        break;
      }
    }
  }
  return;
}

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