for first_subtype_local_name use enumeration_aggregate;
subtype S1 is T1 range Red .. Green;
type S2 is new S1;
for S2 use (Red => 10, Green => 20, Blue => 30);
... --When I equals Blue, the internal code is 30.
end loop;
(ADD => 1, SUB => 2, MUL => 3, LDA => 8, STA => 24, STZ =>33);