But this isn't an array distributed over 4 processes that happens to run out of indices, right?  It's an array explicitly distributed over three processes?