  PROCEDURE [XREF] fsp#expand_file_label {FSM#EXPAND_FILE_LABEL
    (    file_label_p: ^SEQ ( * );
         requested_label_atts: fmt#file_attribute_keys_set;
     VAR label_atts: bat$static_label_attributes;
     VAR file_previously_opened: boolean;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc fmt#file_attribute_keys_set

*copyc bat$static_label_attributes
*copyc ost$status
?? POP ??
