readonly attribute Security::AuditChannelId audit_channel_id;
void audit_write ( in Security::AuditEventType event_type, in SecurityLevel2::CredentialsList creds, in Security::UtcT time, in Security::SelectorValueList descriptors, in Security::Opaque event_specific_data );