Unconstrained type Unchecked_Deallocation

[Andy Askey <ajaskey@mindspring.com>]

I have a byte array type that is used to generate byte-arrays
dynamically.  I want to dynamically deallocate these byte-arrays. Can
I use the following to deallocate memory?

If not, any suggestions?

package tst_pkg is
  type Byte_Atype is array (integer range <>) of character;
  type Byte_Ptype is access Byte_Atype;

  procedure Free(The_Array : in out Byte_Ptype);
end tst_pkg;

package body tst_pkg is
  procedure Deallocate is new Ada.Unchecked_Deallocation(
        Byte_Atype, Byte_Ptype);

  procedure Free(The_Array : in out Byte_Ptype) is
  begin
     Deallocate(The_Array);
  end;
end tst_pkg;

The real question is will the Free procedure deallocate all the bytes
allocated with the following?

my_bytes : Byte_Ptype;
begin
   my_bytes := new Byte_Atype(1..100);
   tst_pkg.Free(my_bytes);
end;


Thanx. Andy
--
Andy Askey
ajaskey@mindspring.com