The problem
Somehow INIT must be translated to deal with data having any of these decompositions, or any legal HPF mapping. Actual mapping not known until run-time.
Not an artificial example. Libraries that operate on distributed arrays (eg the communication libraries discussed later) must deal with exactly this situation.