The 'Valid_Image
attribute is defined for enumeration types other than
those in package Standard. This attribute is a function that takes
a String, and returns Boolean. T'Valid_Image (S)
returns True
if and only if T'Value (S)
would not raise Constraint_Error.