75   function test_various_loads(a, value_5, value_6, value_7) {  argument
80     assertEquals(value_7, a[7]);
85   function test_various_loads2(a, value_5, value_6, value_7) {  argument
90     assertEquals(value_7, a[7]);
95   function test_various_loads3(a, value_5, value_6, value_7) {  argument
100     assertEquals(value_7, a[7]);
105   function test_various_loads4(a, value_5, value_6, value_7) {  argument
110     assertEquals(value_7, a[7]);
115   function test_various_loads5(a, value_5, value_6, value_7) {  argument
124     assertEquals(value_7, a[7]);
129   function test_various_loads6(a, value_5, value_6, value_7) {  argument
134     assertEquals(value_7, a[7]);
139   function test_various_loads7(a, value_5, value_6, value_7) {  argument
144     assertEquals(value_7, a[7]);
149   function test_various_stores(a, value_5, value_6, value_7) {  argument
153     a[7] = value_7;