return String.valueOf(depth);
return "[" + String.valueOf(depth) + "]";
	public String toString() {		if (getDepth() == StackDepthAnalysis.TOP)			return "<uninitialized>";		else if (getDepth() == StackDepthAnalysis.BOTTOM)			return "<unknown, likely error>";		else			return String.valueOf(depth);	}