1 2 3 4 5 6 7
package Volatile12 is type Arr is array (Integer range <>) of Integer with Volatile; procedure Proc (A : Arr); end Volatile12;