// will be generated from STEP 0 output with region2array.sh
// XXX