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