The text c3f0f975e9db, as Debian 13 (Trixie) shipped it.
log a user avc message
audit_log_user_avc_message(3) on Linux now
