type Arr is array (Integer range <>) of Integer