public override void Bad()
        {
            short data = 0;

            /* POTENTIAL FLAW: Use a random value */
            data            = (short)(new Random().Next(short.MinValue, short.MaxValue));
            badPublicStatic = true;
            CWE191_Integer_Underflow__Short_rand_sub_22b.BadSink(data);
        }