  TYPE
    fst$ts_secure_header_labels = record
      header_labels {input, output} : ^SEQ ( * ),
    recend;

