procedure Fruit is
subtype Natural is
Integer range 0 .. Integer'Last;
type Apples is new Natural;
type Oranges is new Natural;
A : Apples; O : Oranges; I : Integer;
begin -- nicht alles korrekt:
A := 4; --O := A + 1; I := A * A;
end Fruit;
cHJvY2VkdXJlIEZydWl0IGlzCiAgIHN1YnR5cGUgTmF0dXJhbCBpcyAKICAgICAgIEludGVnZXIgcmFuZ2UgMCAuLiBJbnRlZ2VyJ0xhc3Q7CiAgIHR5cGUgQXBwbGVzICBpcyBuZXcgTmF0dXJhbDsKICAgdHlwZSBPcmFuZ2VzIGlzIG5ldyBOYXR1cmFsOwogICBBIDogQXBwbGVzOyBPIDogT3JhbmdlczsgSSA6IEludGVnZXI7CmJlZ2luIC0tIG5pY2h0IGFsbGVzIGtvcnJla3Q6CiAgIEEgOj0gNDsgLS1PIDo9IEEgKyAxOyBJIDo9IEEgKiBBOwplbmQgRnJ1aXQ7