Run avcstats on a machine with a long uptime that has been busy (preferably SMP or multi-code) and observe that if the sum of all results is greater than 2^32 then wrong numbers are displayed.
Created attachment 128031 [details] patch to fix this bug
#189466 is a report of the same issue for RHEL4.
libselinux-1.30.6-2.