ArrayRefize code. No functionality change.