}
// We have reached a terminal node...
v.add(node.key);
v.add(node.element);
v.add(IntRBTArray.TERMINAL);
if (addressStack.empty()) {
node = null;
} else {
node = (IntRBTNode) nodeStack.pop();
address = addressStack.pop();
v.set(address, v.size() + offset);