with set_of_natural_pkg; use set_of_natural_pkg;

procedure bs_test is
   bs : BS_Set;
   element_pos : element_value_ext;
   start_pos : BS_Cursor;
   curr_elem : element_value_ext;
begin
   for I in element_value range 13 .. 113 loop
      Append(bs, I, element_pos);
   end loop;
   start_pos := To_Cursor(bs, 97);
   pragma Assert(start_pos /= no_element);
   for I in reverse BS_Iterate(bs, start_pos) loop
      curr_elem := BS_Element(bs, I);
      pragma Assert(curr_elem /= no_element_value);
   end loop;
end bs_test;