
  TYPE
    bat$label_descriptor = record
      label_attributes: bat$label_attributes
    recend,
    bat$label_attributes = integer;

