4 context: '[c] -> { : c <= 127 and c >= -128 }'
7 extent: '[c] -> { a[] }'
12 domain: '[c] -> { S_0[] }'
13 schedule: '{ S_0[] -> [0] }'
21 index: '[c] -> { S_0[] -> a[] }'
22 reference: __pet_ref_0
29 index: '[c] -> { S_0[] -> [(c)] }'
30 reference: __pet_ref_1