1 public class Main {
main(String[] args)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