
  TYPE
    bat$put_label_request = record
      case operation: bat$put_label_operation of
      = bac$write_label_record =
        label_record: string (80),
      = bac$write_label_tapemark =
        ,
      casend,
    recend,

    bat$put_label_operation = (bac$write_label_record,
          bac$write_label_tapemark);

