Note: this is a dummy implementation which does not support distribution.
The GLADE distribution package includes a replacement for this file which
has a different private
This type must not be modified without checking the code in
a-except.adb, since it expects a Partition_ID whose string
representation fits on two characters.