test array indexing in control_flow test