1public class Main {
2  static public void main(String[] args) throws Exception {
3    switch (0x7fffffff) {
4    case 0x7fffffff:
5      System.err.println("good");
6      break;
7    default:
8      throw new AssertionError();
9    }
10  }
11}
12