with Compp;
use Compp;
with Instrument;
use Instrument;
procedure Centb2 is

    Test_1 : Type_500 := A1;
    Test_2 : Type_1000 := B1;
    Test_3 : Type_1500 := D1;
    Test_4 : Type_2000 := G1;
    Test : Integer := 0;

begin
    Start ("CENTB2", " CHECKS ENUMERATION TYPES UP TO 2000 ELEMENTS");
    for I in 1 .. 10000 loop

        case Test_1 is
            when A1 =>
                case Test_2 is
                    when B1 =>
                        case Test_3 is
                            when D1 =>
                                case Test_4 is
                                    when G1 =>
                                        Test := 1;
                                    when others =>
                                        Test := 0;
                                end case;
                            when others =>
                                Test := 0;
                        end case;
                    when others =>
                        Test := 0;
                end case;
            when others =>
                Test := 0;
        end case;
    end loop;
    Stop;
end Centb2;