public override void Bad()
        {
            short data;

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