and allocate it in one gulp.

This isn't a bugfix, it's just a minor optimization that may or may not
pay off.