a probabilistic algorithm for doing existence tests. PR: 70062 Submitted by: Aaron Straup Cope <ascope@cpan.org>