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

