public override void Bad()
        {
            ulong data;

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