
  TYPE
    avt$labeled_names = record
      label: ^ost$name,
      names: ^avt$name_list,
    recend;

*copyc avt$name_list
*copyc ost$name
