-------------------------------------
type Wide_Character_Set is private;
+ pragma Preelaborable_Initialization (Wide_Character_Set);
-- Representation for a set of Wide_Character values:
Null_Set : constant Wide_Character_Set;
-----------------------------------------
type Wide_Character_Mapping is private;
+ pragma Preelaborable_Initialization (Wide_Character_Mapping);
-- Representation for a wide character to wide character mapping:
function Value