procedure Test is
type B is range 1 .. 7;
subtype T is B range 2 .. 5;
X : T'Base range -3 .. 3 := 0;
begin
null;
end Test;
cHJvY2VkdXJlIFRlc3QgaXMKICB0eXBlIEIgaXMgcmFuZ2UgMSAuLiA3OwogIHN1YnR5cGUgVCBpcyBCIHJhbmdlIDIgLi4gNTsKICBYIDogVCdCYXNlIHJhbmdlIC0zIC4uIDMgOj0gMDsKYmVnaW4KICBudWxsOwplbmQgVGVzdDs=