switch [0 .. 15]
               case 15 : goto
               default: {goto