package Volatile12 is

   type Arr is array (Integer range <>) of Integer with Volatile;

   procedure Proc (A : Arr);

end Volatile12;