protected String toStringNamed(String name)
	{
		return "#<" + name + " " +
				(f_symbol != null ? "" : "NIL")
	        	+ " " +
	        	(f_symbol != null ? f_symbol.toStringSimple() : "anonymous")
	        	+ ">";
  }