subtype A is integer range 1 to 5 ; constant R : A'range'record := A'range'value; subtype B is integer range (R + 10); -- 1 to 15 vs 11 to 15 vs 11 to 5