/* goodG2B() - use goodsource and badsink */
 public static void GoodG2BSink(int data)
 {
     CWE191_Integer_Underflow__int_min_sub_52c.GoodG2BSink(data);
 }