public override void Bad()
        {
            ulong data;

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