
  TYPE
    avt$validation_file_type = (avc$vft_other, avc$vft_system, avc$vft_active_system);
