-- { dg-do compile }

package body Volatile12 is

   procedure Proc (A : Arr) is begin null; end;

end Volatile12;