4 context: '[n, m] -> { : m <= 2147483645 and n <= 2147483646 and m >= -2147483648
5 and n >= -2147483648 }'
8 extent: '[n, m] -> { a[] }'
13 domain: '[n, m] -> { S_0[i] : i <= m and i >= n }'
14 schedule: '[n, m] -> { S_0[i] -> [0, i] }'
22 index: '[n, m] -> { S_0[i] -> a[] }'
23 reference: __pet_ref_0