Console.WriteLine("{0}: {1}", "GOOD", a);
Console.WriteLine("{0}: {1}", "BAD", b);