Fix Bug 748 - array_5 test fails for seed 1392781168.