  int foo() {
    switch (x) {
      case 0:
        ok;
      case 1:;
    }
