pragma Restrictions (No_Implementation_Attributes);