(C1007) Arrays with indices in reverse order
There are arrays or bit-arrays for which there are references to slices whose borders are in a reverse order relative to their type definition.A
is a bit-array from 31 down to 0. The model contains the following action: