5 schedule: '{ domain: "{ S_0[] }" }'
8 definition: typedef int field
10 definition: "typedef struct s {\n field a;\n} a"
18 extent: '{ s_a[s[] -> a[]] }'
24 schedule: '{ S_0[] -> [0] }'
32 index: '{ S_0[] -> s_a[s[] -> a[]] }'
33 reference: __pet_ref_0