private int appendSymbolHistory(StringBuilder b, SymbolTable current)
	{
		if(current == null)
			return 0;
		int indent = appendSymbolHistory(b, current.getParent());
		for(Symbol s : current.getDeclarationOrder())
		{
			// Two spaces per indent.
			for(int i = 0; i < indent; i++)
				b.append("  ");
			b.append(String.format("Symbol(%s)\n", s.getName()));
		}
		return indent + 1;
	}