procedure Test_Derived_Discrete is
   type B is new Integer;
   C : B := B'First;
   pragma Test_Statement;
begin
   null;
end Test_Derived_Discrete;
