public override void Bad()
        {
            float data;

            /* FLAW: Set data to a random value */
            data = (float)(float.MaxValue * 2.0 * (new Random().NextDouble() - 0.5));
            CWE197_Numeric_Truncation_Error__float_random_to_short_71b.BadSink((Object)data);
        }