1package Vect11 is
2
3   -- Constrained array types are vectorizable
4   type Sarray is array (1 .. 4) of Float;
5   for Sarray'Alignment use 16;
6
7   function "+" (X, Y : Sarray) return Sarray;
8   procedure Add (X, Y : Sarray; R : out Sarray);
9   procedure Add (X, Y : not null access Sarray; R : not null access Sarray);
10
11end Vect11;
12