Optimize allocation of arrays

(Actually, "slightly de-pessizime allocation of arrays" might be a more
apt description.)