public final void reserve(int count) throws VerifyException {
			if (stackHeight + count > maxHeight) {
				maxHeight = stackHeight + count;
				if (maxHeight > stack.length)
					throw new VerifyException("stack overflow");
			}
		}