/* goodB2G() - use badsource and goodsink */
        private void GoodB2G()
        {
            int data;

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