int label = node.nextLabel(a); if (label != -1) { string.setIntAt(depth - 1, label);
int label = node.nextLabel(a); if (label != -1) { string.setIntAt(depth - 1, label);
int label = node.nextLabel(a); if (label != -1) { string.setIntAt(depth - 1, label);
int label = node.nextLabel(a); if (label != -1) { string.setIntAt(depth - 1, label);