public override void Bad()
        {
            long data;

            /* POTENTIAL FLAW: Use a random value */
            data = IO.GetRandomLong();
            CWE190_Integer_Overflow__Long_rand_add_53b.BadSink(data);
        }