subtype Positive is Integer range 1..Integer'Last;