 TYPE
    fmt$optional_label_directory = record
      header: fmt$static_bam_label_header,
      attribute_present: packed array [1 .. 127 {amt$file_attribute_keys} ] of
        boolean,
      highest_attribute_present: amt$file_attribute_keys,
      job_routing_label_present: boolean,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc amt$file_attribute_keys
*copyc fmt$label_headers
?? POP ??
