Symbol: audit_arg_envv