import extensions;
class T
{
Name = "T";
T clone() = new T();
}
class S : T
Name = "S";
T clone() = new S();
public program()
T original := new S();
T clone := original.clone();
console.printLine(original.Name);
console.printLine(clone.Name)