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

