test use single counter RNG in PF