74   function test_various_loads(a, value_5, value_6, value_7) {  argument
79     assertEquals(value_7, a[7]);
84   function test_various_loads2(a, value_5, value_6, value_7) {  argument
89     assertEquals(value_7, a[7]);
94   function test_various_loads3(a, value_5, value_6, value_7) {  argument
99     assertEquals(value_7, a[7]);
104   function test_various_loads4(a, value_5, value_6, value_7) {  argument
109     assertEquals(value_7, a[7]);
114   function test_various_loads5(a, value_5, value_6, value_7) {  argument
123     assertEquals(value_7, a[7]);
128   function test_various_loads6(a, value_5, value_6, value_7) {  argument
133     assertEquals(value_7, a[7]);
138   function test_various_loads7(a, value_5, value_6, value_7) {  argument
143     assertEquals(value_7, a[7]);
148   function test_various_stores(a, value_5, value_6, value_7) {  argument
152     a[7] = value_7;