Re: [PATCH 6/8] user32: Introduce and use an array_reserve() helper.