An alternative implementation of partitioni().