import java.util.*; class Unknown extends AncTree { int size( /* Unknown this */ ) { return 0; } public String toString( /* Unknown this */ ) { return "new Unknown()"; } }