-- { dg-do compile } -- { dg-options "-gnatws" } with Slice6_Pkg; use Slice6_Pkg; procedure Slice6 is procedure Send (V_LENGTH : SHORT_INTEGER) is V : Integer; V_BLOCK : T_BLOCK (1 .. 4096); for V_BLOCK use at V'Address; V_MSG : T_MSG ; begin V_MSG := (V_LENGTH, 1, V_BLOCK (1 .. V_LENGTH)); end; begin null; end;