switch [1 .. 3]
               case 1 : goto
               case 2 : goto
               case 3 : goto
           switch [2 .. 15]
               case 2 : goto
               default: {goto