for(size_t i = count-1; i < count; --i)

'i < count' always works for unsigned, it's why I prefer unsigned for indices, only one invariant to maintain.