[[ Bug 11061 ]] ensure output buffers are big enough for 32bit array ext...

...ents