...but the code does not yet work:  Care must be taken to allocate the various
data structures close enough together so that the offset calculations at the
four places now marked with

    assert(...); //TODO

actually succeed.

Change-Id: I1fedf7d2d3cdde5035842b4ad5eca9ad9ccf2d44