On 07/04/2008, David Adam <david.adam.cnrs at gmail.com> wrote: > I agree that the good implementation is with array. > > The bad thing is that we must bound the size of the array ourself. I think > that a size of 64 or 128 for the array is enough, right? > Well no, you keep track of the array size and grow it when it's too small when doing a push.