quickcheck and c++ experiments