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

