1 Regression test for the BCE phase of optimizing, 2 that used to have wrong assumptions about array length bounds. 3
