1with Ada.Containers.Bounded_Ordered_Sets; use Ada.Containers;
2package Containers1 is
3   pragma Suppress (All_Checks);
4   package Sets is new Bounded_Ordered_Sets (Boolean);
5   procedure Dummy;
6end Containers1;