public override void printStats(PrintStream @out) { @out.println("Value space size = " + Convert.ToString(vspace.length())); base.printStats(@out); } }