FiFo Quickcheck helper