/* 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() { }
}
{
Cat cat = new Cat();
Dog dog = (Dog)cat;
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXN0YXRpYyBjbGFzcyBBbmltYWwKCXsKCQkKCX0KCQoJc3RhdGljIGNsYXNzIENhdCBleHRlbmRzIEFuaW1hbAoJewoJCXZvaWQgbWVvdygpIHsgfQoJfQoJCglzdGF0aWMgY2xhc3MgRG9nIGV4dGVuZHMgQW5pbWFsCgl7CgkJdm9pZCB3b29mKCkgeyB9Cgl9CgkKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCUNhdCBjYXQgPSBuZXcgQ2F0KCk7CgkJRG9nIGRvZyA9IChEb2cpY2F0OwoJfQp9