assert storage[1] >= 0;