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