public override void Bad()
        {
            double data;

            badPublicStatic = true;
            data            = CWE197_Numeric_Truncation_Error__double_random_to_byte_22b.BadSource();
            {
                /* POTENTIAL FLAW: Convert data to a byte, possibly causing a truncation error */
                IO.WriteLine((byte)data);
            }
        }