A system allocates and fills an array of strings and then checks to see that they have the expected value. System execution ends with a run-time panic, but only if the system is finalized and array_optimization is on. Discovered in Release 3.3 beta.