Jerry Quinn wrote: >We can just do the trick when a reallocation would be necessary, so >the above would still work, no? > > Agreed. Are you going to actually implement this idea, at least a draft for comparison purposes? Or Carlo, perhaps? Thanks, Paolo.