buf.append("TOS");
	public String toString() {		final StringBuffer buf = new StringBuffer();		for (int i = 0; i < tos; i++) {			if (i != 0) {				buf.append(',');			}			buf.append('(');			buf.append(stack[i].getType());			buf.append(',');			buf.append(stack[i].getKind());			buf.append(')');		}		return buf.toString();	}