subtype_mark' | subtype_mark'aggregate
type Code is (Fix, Cla, Dec, Tnz, Sub);
Print (Code'(Dec)); -- Dec is of type Code
for J in Code range Fix .. Dec loop ... -- qualification unnecessary
for J in Code'(Fix) .. Dec loop ... -- qualification unnecessary for Dec