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