
  TYPE
    avt$valid_security_options = (avc$vso_console_operation_only,
          avc$vso_secure_analysis, avc$vso_security_audit);
