type Arr is array (12 .. 15) of Integer;
