{ PURPOSE
{   This type defines detail about the type pmt$established_handler which we do
{   not wish to show on the program interface.
{
{ DESIGN
{   For now, the only information in this type is an expanded definition of the
{   first byte which in the externalized type contains the boolean ESTABLISHED.
{   This expands this byte to allow seven additional flags with the following
{   meanings.
{
{   ESTABLISHED_OUTSIDE_BLOCK specifies that the handler was established with
{     the request pmp$establish_ch_outside_block and thus the descriptor could
{     reside anywhere.  If this flag is not set then the handler must be in the
{     stack.
{
{   HANDLER_ESTABLISHED specifies that the handler has been established and not
{     disestablished.  This corresponds with the ESTABLISHED flag in the
{     externalized type.

  TYPE
    pmt$established_handler_internl = packed record
      established_outside_block: boolean,
      unused_flag1: boolean,
      unused_flag2: boolean,
      unused_flag3: boolean,
      unused_flag4: boolean,
      unused_flag5: boolean,
      unused_flag6: boolean,
      handler_established: boolean,
    recend;
