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