prepare for quickCheck