(* * Test the new 'extends' keyword pair. *) object X; object Y extends X;