
  TYPE
    pft$mainframe_count = 0 .. 0ffff(16);

