{
{ NOTE: If TYPE declarations or record fields are added/changed/deleted, please
{   make the appropriate changes in the corresponding display procedures in the
{   module(s) for the System Core Debugger: SYM$DEBUG, SYM$DEBUG1
{

  TYPE
    mmt$segment_reservation_state = (mmc$srs_not_reserved, mmc$srs_reserved,
         mmc$srs_reserved_shared_stack);
