1package body Aggr14_Pkg  is
2
3   function F return A is
4   begin
5      if X /= (1, 2, 3) then
6        raise Program_Error;
7      end if;
8      return (1, 1, 1);
9   end;
10
11   procedure Proc is
12   begin
13    X := F;
14  end;
15
16end Aggr14_Pkg;
17