
  TYPE
    avt$name_list_size = 0 .. avc$maximum_name_list_size;

*copyc avc$maximum_name_list_size
