public override void Bad()
        {
            ushort data;

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