-- { dg-do compile }
package body Volatile12 is
procedure Proc (A : Arr) is begin null; end;
end Volatile12;