/* goodB2G() - use badsource and goodsink */
private static void GoodB2G()
{
ulong data;
/* POTENTIAL FLAW: Use a random value */
data = IO.GetRandomULong();
CWE190_Integer_Overflow__UInt64_rand_square_71b.GoodB2GSink((Object)data);
}
