public class X {
  int f(int a) {
    <spot>switch</spot> (a) {
      case 0: return 1;
      default: return 2;
    }
  }
}