bool r() {
   switch(0) {
       case 0: short[] x;
               int[] a = x;
              }
       return true;
}