
  TYPE
    pft$array_index = 1 .. 7FFFFFFF(16);

