It seems to me like the variable "lastNonZeroIndex" is really tracking the first zero. At any snapshot in time, it represents an array index that is holding a zero, waiting to be swapped for the nonzero value in i.