procedure Unreal_Attrs is
   A : Float := Float'Model_Epsilon;
   B : Float := Float'Epsilon;
   C : Float := Float'Safe_Small;
   D : Float := Float'Safe_Large;
begin
   null;
end Unreal_Attrs;
pragma Test_Block;
