--  pragma Restrictions (No_Initialize_Scalars);