/* goodB2G() - use badsource and goodsink */
 public static void GoodB2GSink(int data)
 {
     CWE191_Integer_Underflow__int_min_sub_52c.GoodB2GSink(data);
 }