3 procedure parameterlessfunc is
5 type Byte_Array is array(Byte range <>) of Byte;
6 subtype Index is Byte range 0..7;
7 subtype Small_Array is Byte_Array(Index);
9 function F return Byte_Array is
14 B5: Small_Array := F(Index);
17 end parameterlessfunc;