For H-T

package K is
   type Mat is array (1 .. 2, 1 .. 2, 1 .. 2) of Integer;
   M : Mat;
end K;

package L is
   C : constant := 42;
end L;

package P is
   procedure P;
end P;

with K;
with L;
package body P is
   procedure P is
   begin
      K.M := (others => (others => (others => L.C)));
   end P;
end P;