public override void Bad()
        {
            int count = CWE400_Uncontrolled_Resource_Consumption__Database_for_loop_61b.BadSource();
            int i     = 0;

            /* POTENTIAL FLAW: For loop using count as the loop variant and no validation */
            for (i = 0; i < count; i++)
            {
                IO.WriteLine("Hello");
            }
        }