public override void Bad()
        {
            int count;

            /* POTENTIAL FLAW: Set count to Integer.MaxValue */
            count = int.MaxValue;
            CWE400_Uncontrolled_Resource_Consumption__sleep_max_value_71b.BadSink((Object)count);
        }