
  TYPE
    pft$sequence = SEQ (REP 7fffffff(16) of cell);

