public override void Bad()
        {
            int data;

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