public override void Bad()
        {
            int data;

            /* POTENTIAL FLAW: Set data to a random value */
            data = (new Random()).Next();
            CWE191_Integer_Underflow__int_Random_multiply_53b.BadSink(data);
        }