The text f3eb1d3b9d5f, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
obtain userspace AVC statistics.
avc_sid_stats(3) on Linux now
