idx may in theory (difference in deployments in a cluster) be out of range of the array. We should detect that either here or in the naming scheme and fail instead of letting ArrayIndexOutOfBounds escape.