 TYPE
    fmt$system_file_label = record
      file_previously_opened: boolean,
      static_label: ^SEQ ( * ),
      descriptive_label: bat$descriptive_file_attributes,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc bat$descriptive_file_attributes
?? POP ??

{ The first item in the sequence is the fmt$static_label_header,
{ which contains the fmt$static_label_directory.  For each
{ file_attribute_key whose corresponding entry in the static_label_directory
{ is 'TRUE' there follows in the sequence the 'source' and 'value' of the
{ attribute.  These pairs are NEXTed in the sequence.
{}
{ An attribute (source,value) is stored in the static_label only if its
{ source is not amc$undefined_attribute or amc$access_method_default.
{}
