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) }