
  TYPE
    pft$info_record_body_size = 0 .. 7fffffff(16);

