--- { do-do run }
--- { do-options "-gnatws" }
+-- { dg-do run }
+-- { dg-options "-gnatws" }
with Unchecked_Conversion;
procedure biased_uc is
--- { do-do compile }
+-- { dg-do compile }
with My_Env_Versioned_Value_Set_G;
package body Env_Compile_Capacity is
--- { do-do compile }
+-- { dg-do compile }
procedure in_mod_conv is
package Test is
--- { do-do compile }
--- { do-options "-gnatN" }
+-- { dg-do compile }
+-- { dg-options "-gnatN" }
with inline_scope_p;
procedure inline_scope (X : Integer) is
--- { do-do compile }
+-- { dg-do compile }
with Layered_Abstraction_P;
with layered_abstraction;
--- { do-do run }
+-- { dg-do run }
-- { dg-options "-gnatws" }
+
pragma Locking_Policy (Ceiling_Locking);
with test_prio_p;use test_prio_p;
with text_io; use text_io;