So to correct myself:
> It looks that I remember incorrectly what ws@ taught me back in the days > how the ``full disc'' partition works. I just called him on the phone and the correct answer is that the code reading the disklabel enforces the ``full disc'' partition to be the full disc. Also that code seems to be able to return values >2^32 although the disklabel itself cannot store them.
