// // Should report an error, as class X is defined twice // class X { } class X { } class Body { static void Main () { } }