/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	static class Animal
	{
 
	}
 
	static class Cat extends Animal
	{
		void meow() { }
	}
 
	static class Dog extends Animal
	{
		void woof() { }
	}
 
	public static void main (String[] args) throws java.lang.Exception
	{
		Cat cat = new Cat();
		Dog dog = (Dog)cat;
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXN0YXRpYyBjbGFzcyBBbmltYWwKCXsKCQkKCX0KCQoJc3RhdGljIGNsYXNzIENhdCBleHRlbmRzIEFuaW1hbAoJewoJCXZvaWQgbWVvdygpIHsgfQoJfQoJCglzdGF0aWMgY2xhc3MgRG9nIGV4dGVuZHMgQW5pbWFsCgl7CgkJdm9pZCB3b29mKCkgeyB9Cgl9CgkKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCUNhdCBjYXQgPSBuZXcgQ2F0KCk7CgkJRG9nIGRvZyA9IChEb2cpY2F0OwoJfQp9