public void push(final Value value) throws IndexOutOfBoundsException {
		if (top + locals >= values.length) {
			throw new IndexOutOfBoundsException(
					"Insufficient maximum stack size.");
		}
		values[top++ + locals] = value;
	}