?? RIGHT := 110 ??
MODULE srm$fetch_store_label;
*copyc avp$ring_min
*copyc fmp$fetch_system_label
*copyc fmp$fetch_system_label_size
*copyc fmp$store_system_label
*copyc pfp$compute_checksum

?? TITLE := '[XDCL, #GATE] srp$fetch_system_label_size', EJECT ??

  PROCEDURE [XDCL, #GATE] srp$fetch_system_label_size (local_file_name:
    amt$local_file_name;
    VAR label_size: 0 .. 7fffffff(16);
    VAR status: ost$status);

    status.normal := TRUE;
    fmp$fetch_system_label_size (local_file_name, label_size, status);
  PROCEND srp$fetch_system_label_size;

?? TITLE := '[XDCL] srp$fetch_system_label' ??
?? EJECT ??

  PROCEDURE [XDCL, #GATE] srp$fetch_system_label (local_file_name:
    amt$local_file_name;
    VAR label: SEQ ( * );
    VAR status: ost$status);

    status.normal := TRUE;

    fmp$fetch_system_label (local_file_name, label, status);
  PROCEND srp$fetch_system_label;

?? TITLE := '[XDCL] srp$store_system_label' ??
?? EJECT ??

  PROCEDURE [XDCL, #GATE] srp$store_system_label
    (    local_file_name: amt$local_file_name;
         label: SEQ ( * );
     VAR status: ost$status);

    fmp$store_system_label (local_file_name, avp$ring_min (), label, status);
  PROCEND srp$store_system_label;

?? TITLE := '[XDCL, #GATE] srp$compute_label_checksum' ??
?? EJECT ??

  PROCEDURE [XDCL, #GATE] srp$compute_label_checksum
    (    label_checksum_location: pft$checksum_location;
         label_checksum_size: pft$checksum_size;
     VAR label_checksum: pft$checksum);

    pfp$compute_checksum (label_checksum_location, label_checksum_size, label_checksum);
  PROCEND srp$compute_label_checksum;
MODEND srm$fetch_store_label;
