package Test_Representation is


    type State is range 0 .. 15;
    for State'Size use 4;

    type Status is
        record
            Level : Integer;
            Rr    : Natural range 0 .. 31;
            Ss    : State;
            Ii    : State;
        end record;  
    B31 : constant := 31;

    for Status use
        record
            Xx    at 1 range 5 .. 7;
            Level at 0 range 0 .. B31;
            Xx    at 1 range 7 .. 8;
            Ss    at 1 range 0 .. 4;
            Rr    at 2 range 20 .. 33;
        end record;

    type Color is (Red, Blue, Green);
    for Color use (Red => 1, Blue => 4, Green => 8);
    for Color'Size use 3;
end Test_Representation;