/* goodB2G() - use badsource and goodsink */
 private static void GoodB2G()
 {
     int count;
     count = int.MinValue; /* Initialize count */
     {
         /* read user input from console with ReadLine */
         try
         {
             /* POTENTIAL FLAW: Read count from the console using ReadLine */
             string stringNumber = Console.ReadLine();
             if (stringNumber != null) // avoid NPD incidental warnings
             {
                 try
                 {
                     count = int.Parse(stringNumber.Trim());
                 }
                 catch(FormatException exceptNumberFormat)
                 {
                     IO.Logger.Log(NLog.LogLevel.Warn, exceptNumberFormat, "Number format exception parsing count from string");
                 }
             }
         }
         catch (IOException exceptIO)
         {
             IO.Logger.Log(NLog.LogLevel.Warn, exceptIO, "Error with stream reading");
         }
     }
     int[] countArray = new int[5];
     countArray[2] = count;
     CWE400_Uncontrolled_Resource_Consumption__ReadLine_write_66b.GoodB2GSink(countArray  );
 }
 /* goodG2B() - use goodsource and badsink */
 private static void GoodG2B()
 {
     int count;
     /* FIX: Use a hardcoded number that won't cause underflow, overflow, divide by zero, or loss-of-precision issues */
     count = 2;
     int[] countArray = new int[5];
     countArray[2] = count;
     CWE400_Uncontrolled_Resource_Consumption__ReadLine_write_66b.GoodG2BSink(countArray  );
 }