* MPI might need more space than the absolute minimum.

* The type checking of many clang versions is too strict here.

* Empty sections are transformed into idxempty on construction.