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