
  TYPE
    pft$root_size = 0 .. 0ffffffff(16);

