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