
  TYPE
    mst$real_memory_address = 0 .. 0ffffffff(16);
